Keyphrases
- expert systems
- logic programming
- constraint logic programming
- knowledge representation
- abstract machine
- logic programming language
- inference engine
- knowledge base
- programming language
- databases
- backward chaining
- information systems
- theorem proving
- functional programming
- data sets
- preprocessing
- search space
- machine learning
- neural network