Keyphrases
- logic programming
- expert systems
- knowledge representation
- prolog programs
- knowledge base
- constraint logic programming
- programming language
- programming paradigms
- logic programming language
- abstract machine
- explanation based generalization
- semantically equivalent
- object oriented
- information extraction
- inference engine
- bayesian networks
- functional programming
- information systems
- search engine
- learning algorithm
- real time