Keyphrases
- programming language
- logic programming
- expert systems
- knowledge representation
- prolog programs
- abstract machine
- knowledge base
- constraint logic programming
- logic programming language
- general purpose
- artificial intelligence
- bayesian networks
- reinforcement learning
- data structure
- high level
- case study
- inference engine
- learning algorithm
- genetic algorithm