A syntax-directed logic simulator.
Charles M. AllenDonald D. GivoneWilliam M. HornerRobert W. SnelsirePublished in: DAC (1968)
Keyphrases
- predicate calculus
- operational semantics
- modal logic
- logic programming
- test bed
- predicate logic
- automated reasoning
- simulation model
- databases
- formal theory
- classical logic
- natural language
- high level
- temporal logic
- probabilistic logic
- information retrieval
- digital circuits
- machine learning
- real world
- real time
- asynchronous circuits
- database language
- dynamic logic
- evolutionary robotics