Keyphrases
- logic programming
- knowledge representation
- programming language
- prolog programs
- expert systems
- abstract machine
- neural network
- logic programs
- backward chaining
- semantically equivalent
- domain knowledge
- evolutionary algorithm
- image segmentation
- knowledge base
- constraint logic programming
- genetic algorithm
- data mining