Keyphrases
- neural network
- logic programming
- prolog programs
- programming language
- abstract machine
- expert systems
- test set
- massachusetts institute of technology
- knowledge representation
- theorem proving
- image segmentation
- logic programs
- constraint logic programming
- backward chaining
- semantically equivalent
- information retrieval
- computational complexity
- optimal solution
- explanation based generalization
- learning algorithm