Keyphrases
- logic programming
- expert systems
- programming language
- prolog programs
- knowledge base
- logic programming language
- constraint logic programming
- abstract machine
- artificial intelligence
- e learning
- backward chaining
- lower bound
- knowledge representation
- data model
- explanation based generalization
- machine learning
- data analysis
- high level
- image processing
- information retrieval