Keyphrases
- logic programming
- programming language
- prolog programs
- expert systems
- knowledge representation
- knowledge base
- logic programs
- abstract machine
- recognizing textual entailment
- logic programming language
- information retrieval
- backward chaining
- visual object classes
- explanation based generalization
- forward chaining
- constraint logic programming
- theorem proving
- data structure