Keyphrases
- logic programming
- knowledge representation
- expert systems
- prolog programs
- knowledge base
- programming language
- logic programs
- abstract machine
- backward chaining
- logic programming language
- data mining
- data model
- evolutionary algorithm
- theorem proving
- web services
- machine learning
- explanation based generalization
- programming paradigms
- neural network