Keyphrases
- logic programming
- knowledge representation
- expert systems
- prolog programs
- programming language
- constraint logic programming
- knowledge base
- abstract machine
- logic programming language
- theorem proving
- equivalence relation
- fixpoint
- high level
- semantically equivalent
- explanation based generalization
- programming paradigms
- real world