An interpreter for the programming language predicate logic

Authors:
Sten-Ake Tarnlund
Affiliations:
Computer Science Department, University of Stockholm
Venue:
IJCAI'75 Proceedings of the 4th international joint conference on Artificial intelligence - Volume 1
Year:
1975

Citing 2
Cited 0

A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
The application of theorem proving to question-answering systems

The application of theorem proving to question-answering systems

Quantified Score

Hi-index	0.00

Visualization

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.