ML Anthology

An Interpreter for the Programming Languages Predicate Logic

Sten-Åke Tärnlund
IJCAI 1975 pp. 601-608
/ijcai/1975/tarnlund1975ijcai-interpreter/

Abstract

We describe an Interpreter for the programming language predicate logic. Some topics are; syntax and proof procedure, procedure evocation, function transformation, goal variation and interactive computational control.

PDF Semantic Scholar

Cite

Text

Tärnlund. "An Interpreter for the Programming Languages Predicate Logic." International Joint Conference on Artificial Intelligence, 1975.

Markdown

[Tärnlund. "An Interpreter for the Programming Languages Predicate Logic." International Joint Conference on Artificial Intelligence, 1975.](https://mlanthology.org/ijcai/1975/tarnlund1975ijcai-interpreter/)

BibTeX

@inproceedings{tarnlund1975ijcai-interpreter,
  title     = {{An Interpreter for the Programming Languages Predicate Logic}},
  author    = {Tärnlund, Sten-Åke},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1975},
  pages     = {601-608},
  url       = {https://mlanthology.org/ijcai/1975/tarnlund1975ijcai-interpreter/}
}