Keyphrases
- prolog programs
- logic programming
- semantically equivalent
- partial deduction
- program execution
- database systems
- computer programs
- dynamic programming
- logic programs
- software engineering
- programs written
- java programs
- test cases
- linear programming
- source code
- database
- knowledge representation
- expert systems
- multiscale
- information systems
- artificial intelligence
- information retrieval
- machine learning
- data mining
- real world