On the transformation of logic programs with instantiation based computation rules
- 1 February 1989
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 7 (2) , 125-154
- https://doi.org/10.1016/s0747-7171(89)80046-x
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- The concept of a supercompilerACM Transactions on Programming Languages and Systems, 1986
- Automating control for logic programsThe Journal of Logic Programming, 1985
- Making prolog more expressiveThe Journal of Logic Programming, 1984
- Derivation of Logic ProgramsJournal of the ACM, 1981
- Algorithm = logic + controlCommunications of the ACM, 1979
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- On the inference of Turing machines from sample computationsArtificial Intelligence, 1972