U. Neumerkel, Continuation Prolog: A new intermediary language for WAM and BinWAM code generation, in Post-ILPS'95 Workshop on Implementation of Logic Programming Languages. f16g Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Compilation Techniques for Prolog - Lindgren (1996) (Correct)
....be moved and removed by program transformations. Since they generate higher order terms in their translation, a subsequent pass of closure conversion [5] converts the term to a first order representation. Our algorithm, in contrast, directly generates first order terms as continuations. Neumerkel [105, 104] has proposed Continuation Prolog, which allows compilers to manipulate continuations and remove some auxilliary output variables. The new program is then translated to binary or standard Prolog. The transformation is manual in nature, but could possibly be automated. Optimization of Prolog using ....
U. Neumerkel, Continuation Prolog: A new intermediary language for WAM and BinWAM code generation, in Post-ILPS'95 Workshop on Implementation of Logic Programming Languages. f16g
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC