Keyphrases
- logic programming
- logic programs
- prolog programs
- procedural semantics
- horn clauses
- first order logic
- programming language
- logic programming language
- deductive databases
- knowledge representation
- rule based systems
- expert systems
- answer set programming
- constraint logic programming
- theorem proving
- knowledge base
- natural language
- answer sets
- stable models
- existentially quantified
- abstract machine
- fixpoint
- expressive power
- explanation based generalization
- inference rules
- incomplete information
- backward chaining
- genetic algorithm
- compositional semantics