Basic transformation operations which preserve computed answer substitutions of logic programs
- 31 May 1993
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 16 (1-2) , 47-87
- https://doi.org/10.1016/0743-1066(93)90023-a
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A method for specializing logic programsACM Transactions on Programming Languages and Systems, 1990
- Declarative modeling of the operational behavior of logic languagesTheoretical Computer Science, 1989
- Partial evaluation of metaprograms in a “multiple worlds” logic languageNew Generation Computing, 1988
- Inductive assertion method for logic programsTheoretical Computer Science, 1988
- Program Transformation SystemsACM Computing Surveys, 1983
- Contributions to the Theory of Logic ProgrammingJournal of the ACM, 1982
- Mixed computation: potential applications and problems for studyTheoretical Computer Science, 1982
- Derivation of Logic ProgramsJournal of the ACM, 1981
- On the partial computation principleInformation Processing Letters, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977