Keyphrases
- logic programming
- abstract machine
- expert systems
- programming language
- prolog programs
- knowledge base
- logic programming language
- knowledge representation
- artificial intelligence
- backward chaining
- logic programs
- inference engine
- theorem proving
- explanation based generalization
- database
- constraint logic programming
- pairwise
- lower bound
- learning algorithm
- data sets