Keyphrases
- logic programming
- abstract machine
- knowledge representation
- expert systems
- programming language
- logic programming language
- knowledge base
- prolog programs
- semantically equivalent
- natural language
- preprocessing
- recognizing textual entailment
- artificial intelligence
- constraint logic programming
- machine learning
- explanation based generalization
- functional programming
- inference engine
- real time
- evolutionary algorithm
- training set
- computer vision
- multiscale