Keyphrases
- description logics
- prolog programs
- expert systems
- logic programming
- knowledge representation
- logic programming language
- knowledge base
- programming paradigms
- inference engine
- constraint logic programming
- information retrieval
- abstract machine
- programming language
- dl lite
- answer set programming
- explanation based generalization
- image segmentation
- real time