Keyphrases
- logic programming
- prolog programs
- expert systems
- programming language
- knowledge representation
- real time
- data mining
- abstract machine
- horn clauses
- object oriented
- optimal solution
- knowledge base
- constraint logic programming
- logic programming language
- backward chaining
- special case
- search algorithm
- logic programs
- theorem proving
- inference engine
- decision making
- artificial intelligence
- machine learning