Keyphrases
- logic programming
- expert systems
- programming language
- knowledge representation
- abstract machine
- prolog programs
- test set
- inference engine
- knowledge base
- logic programs
- constraint logic programming
- massachusetts institute of technology
- databases
- functional programming
- logic programming language
- management system
- probability distribution
- bayesian networks
- decision making