Keyphrases
- logic programming
- expert systems
- programming language
- computer science
- abstract machine
- knowledge base
- knowledge representation
- constraint logic programming
- computer assisted learning
- prolog programs
- real time
- genetic algorithm
- machine learning
- theorem proving
- image segmentation
- decision making
- data sets
- computer assisted instruction
- computer algebra
- functional programming
- explanation based generalization