The Semantics of Predicate Logic as a Programming Language.
Maarten H. van EmdenRobert A. KowalskiPublished in: J. ACM (1976)
Keyphrases
- programming language
- predicate logic
- fluent calculus
- logic programming
- knowledge representation and reasoning
- denotational semantics
- predicate calculus
- specification language
- programming language constructs
- general purpose
- database languages
- object oriented
- semantic network
- high level
- temporal logic
- situation calculus
- object oriented programming
- software engineering
- strongly typed
- order sorted
- logical formulas
- computational linguistics
- functional language
- domain specific languages
- reasoning about actions
- abstract data types
- formal semantics
- computer programs
- lower level
- functional programming
- artificial intelligence
- programming environment
- relational databases
- web services