A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output

@article{Brger1990ALO,
  title={A Logical Operational Semantics of Full Prolog Part III: Built-in Predicates for Files, Terms, Arithmetic and Input-Output},
  author={Egon B{\"o}rger},
  journal={IWBS Report},
  year={1990},
  volume={117}
}

From This Paper

Topics from this paper.

Similar Papers

Loading similar papers…