Keyphrases
- logic programming
- knowledge representation
- programming language
- expert systems
- prolog programs
- abstract machine
- backward chaining
- constraint logic programming
- pattern recognition
- knowledge base
- machine learning
- neural network
- natural language
- objective function
- answer set programming
- artificial intelligence
- logic programming language
- lower bound
- logic programs
- theorem proving
- inference engine
- databases