Keyphrases
- logic programming
- knowledge representation
- prolog programs
- expert systems
- programming language
- abstract machine
- knowledge base
- explanation based generalization
- bayesian networks
- object oriented
- programming paradigms
- backward chaining
- inference engine
- biological data
- database
- xml documents
- high level
- databases
- data sets