Keyphrases
- existentially quantified
- expert systems
- logic programming
- virtual machine
- knowledge representation
- representation language
- knowledge base
- programming language
- prolog programs
- description language
- high level abstraction
- theorem proving
- abstract machine
- programming paradigms
- logic programming language
- constraint logic programming
- inference engine
- data mining
- optimal solution
- decision trees
- genetic algorithm
- machine learning