Keyphrases
- logic programming
- high level
- expert systems
- programming language
- prolog programs
- knowledge representation
- building blocks
- decision making
- programming paradigms
- constraint logic programming
- low level
- knowledge base
- user defined
- databases
- general purpose
- software engineering
- inference engine
- logic programming language
- abstract machine