Keyphrases
- expert systems
- logic programming
- programming language
- constraint logic programming
- knowledge representation
- database
- prolog programs
- logic programming language
- data sets
- knowledge base
- inference engine
- abstract machine
- backward chaining
- object oriented
- special case
- digital libraries
- artificial intelligence
- genetic algorithm