Keyphrases
- logic programming
- expert systems
- programming language
- knowledge representation
- abstract machine
- prolog programs
- logic programming language
- knowledge base
- constraint logic programming
- backward chaining
- neural network
- logic programs
- data sets
- image processing
- feature selection
- artificial intelligence
- learning algorithm
- answer set programming
- inference engine
- semantically equivalent
- explanation based generalization
- programming paradigms