The generalized completeness of Horn predicate-logic as a programming language.
Hajnal AndrékaIstván NémetiPublished in: Acta Cybern. (1978)
Keyphrases
- programming language
- predicate logic
- fluent calculus
- knowledge representation and reasoning
- logic programming
- general purpose
- order sorted
- predicate calculus
- high level
- semantic network
- software engineering
- object oriented
- temporal logic
- np hard
- denotational semantics
- computer programs
- computational linguistics
- programming environment
- object oriented programming
- databases
- strongly typed
- situation calculus
- relational databases
- machine learning
- functional programming
- database languages
- object oriented concepts
- knowledge representation