On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog.
Ricardo RochaCláudio SilvaRicardo LopesPublished in: ICLP (2007)
Keyphrases
- logic programming
- prolog programs
- logic programming language
- knowledge representation
- machine learning
- logic programs
- semantically equivalent
- case study
- programming language
- test cases
- programming environment
- expert systems
- object oriented
- high level
- practical problems
- static analysis
- constraint logic programming
- decision trees
- program execution
- control program
- data sets
- database