Keyphrases
- logic programming
- open source
- expert systems
- knowledge representation
- programming language
- source code
- logic programming language
- abstract machine
- knowledge base
- prolog programs
- constraint logic programming
- programming paradigms
- inference engine
- backward chaining
- theorem proving
- logic programs
- first order logic
- database
- special case
- case study
- information retrieval
- machine learning