An Unfold Rule for Full Prolog
- 1 January 1993
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Unfolding — definition — folding, in this order, for avoiding unnecessary variables in logic programsPublished by Springer Nature ,1991
- The Practice of PrologPublished by MIT Press ,1990
- Properties of a Pruning OperatorJournal of Logic and Computation, 1990
- Partial evaluation of metaprograms in a “multiple worlds” logic languageNew Generation Computing, 1988
- A partial evaluation system for Prolog: some practical considerationsNew Generation Computing, 1988
- Detection and optimization of functional computations in PrologPublished by Springer Nature ,1986