Keyphrases
- logic programming
- expert systems
- prolog programs
- knowledge representation
- logic programming language
- programming language
- constraint logic programming
- abstract machine
- inference engine
- artificial intelligence
- backward chaining
- semantically equivalent
- objective function
- knowledge base
- functional programming
- real time
- natural language
- relational databases
- data model
- reinforcement learning
- logic programs
- database systems
- theorem proving
- neural network