Semantics preserving transformation rules for Prolog
- 1 May 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 26 (9) , 274-284
- https://doi.org/10.1145/115866.115895
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Denotational and operational semantics for prologThe Journal of Logic Programming, 1988
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- Partial evaluation as a means for inferencing data structures in an applicative languagePublished by Association for Computing Machinery (ACM) ,1982
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977