Keyphrases
- expert systems
- prolog programs
- logic programming
- programming language
- semantically equivalent
- knowledge base
- abstract machine
- logic programming language
- knowledge representation
- case study
- constraint logic programming
- theorem proving
- general purpose
- logic programs
- data sets
- bayesian networks
- decision trees
- web services
- data mining
- databases