Keyphrases
- logic programming
- expert systems
- programming language
- prolog programs
- knowledge representation
- abstract machine
- knowledge base
- constraint logic programming
- logic programming language
- general purpose
- data sets
- semantically equivalent
- functional programming
- inference engine
- horn clauses
- programming paradigms
- real world
- backward chaining
- support vector
- genetic algorithm
- decision making
- relational databases
- data structure
- data streams