Keyphrases
- logic programming
- logic programs
- logic programming language
- knowledge base
- expert systems
- programming language
- knowledge representation
- constraint logic programming
- abductive reasoning
- nonmonotonic reasoning
- propositional knowledge base
- prolog programs
- answer set programming
- case study
- inference engine
- deductive databases
- evolutionary algorithm
- simplifying assumptions
- underlying assumptions
- semantically equivalent
- programming paradigms
- real world