An Interpreter For The Programming Languages Predicate Logic.
Sten-Åke TärnlundPublished in: IJCAI (1975)
Keyphrases
- programming language
- predicate logic
- knowledge representation and reasoning
- object oriented
- logic programming
- high level
- general purpose
- fluent calculus
- software engineering
- strongly typed
- temporal logic
- semantic network
- programming environment
- predicate calculus
- lower level
- database languages
- computational linguistics
- programming language constructs
- specification language
- object oriented concepts
- denotational semantics
- reasoning systems
- artificial intelligence
- machine learning
- data mining
- lambda calculus
- databases
- high level programming language
- database