Keyphrases
- logic programming
- knowledge representation
- expert systems
- prolog programs
- constraint logic programming
- machine learning
- theorem proving
- abstract machine
- semantically equivalent
- logic programming language
- knowledge base
- data sets
- programming language
- inference engine
- programming paradigms
- computational complexity
- data model
- domain knowledge
- case study
- information systems
- information retrieval
- data mining
- backward chaining
- neural network
- functional programming
- database