Keyphrases
- logic programming
- programming language
- prolog programs
- expert systems
- knowledge representation
- abstract machine
- data analysis
- logic programs
- theorem proving
- logic programming language
- explanation based generalization
- programming paradigms
- feature extraction
- image segmentation
- control system
- special case
- image processing
- neural network
- databases
- situation calculus
- data sets
- real time