A transformation tool for pure Prolog programs
Author:
- 1 January 1997
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 130-145
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- Transformation of left terminating programs: The reordering problemLecture Notes in Computer Science, 1996
- Transformation of logic programs: Foundations and techniquesThe Journal of Logic Programming, 1994
- A meta-environment for generating programming environmentsACM Transactions on Software Engineering and Methodology, 1993
- Online partial deduction of logic programs1993
- Logimix: A Self-Applicable Partial Evaluator for Prolog1993
- A Prolegomenon to Partial DeductionFundamenta Informaticae, 1993
- Unfold/fold transformation of stratified programsTheoretical Computer Science, 1991
- Semantics preserving transformation rules for Prolog1991