Keyphrases
- logic programming
- open source
- source code
- expert systems
- programming language
- prolog programs
- programming paradigms
- logic programming language
- knowledge base
- knowledge representation
- abstract machine
- theorem proving
- high level
- backward chaining
- genetic algorithm
- databases
- operating system
- inference engine
- constraint logic programming
- artificial intelligence
- semantically equivalent
- real world