Keyphrases
- logic programming
- modal logic
- expert systems
- knowledge representation
- prolog programs
- programming paradigms
- backward chaining
- abstract machine
- programming language
- data sets
- constraint logic programming
- nonmonotonic logics
- knowledge base
- general purpose
- logic programs
- special case
- theorem proving
- inference engine
- artificial neural networks
- pairwise
- forward chaining
- image sequences
- information retrieval
- database