An Interpreter For The Programming Languages Predicate Logic

Tärnlund, Sten-Åke

An Interpreter For The Programming Languages Predicate Logic

Download BibTeX Cite

Proceedings of the Fourth International Joint Conference on Artificial Intelligence. A.I. Software. Pages 601-607.

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.

Sten-Åke Tärnlund. 1975. An Interpreter For The Programming Languages Predicate Logic. In Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75. IJCAI, 601–607. https://ijcai.org/proceedings/1975/94

@inproceedings{ijcai1975p94,
  title     = {An Interpreter For The Programming Languages Predicate Logic},
  author    = {Tärnlund, Sten-Åke},
  booktitle = {Proceedings of the Fourth International Joint Conference on
               Artificial Intelligence, {IJCAI-75}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  editor    = {Patrick Winston and Carl Hewitt},
  pages     = {601--607},
  year      = {1975},
  note      = {A.I. Software},
  url       = {https://ijcai.org/proceedings/1975/94},
}

TY  - CPAPER
TI  - An Interpreter For The Programming Languages Predicate Logic
AU  - Tärnlund, Sten-Åke
T2  - Proceedings of the Fourth International Joint Conference on Artificial Intelligence, IJCAI-75
PB  - International Joint Conferences on Artificial Intelligence
PY  - 1975
SP  - 601
EP  - 607
UR  - https://ijcai.org/proceedings/1975/94
ER  -