Chris Mellish, Steve Hardy: Integrating Prolog in the POPLOG Environment, in Implementations of PROLOG, John A. Campbell (ed.) pp 147162, Ellis Horwood (1984) Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Abstracting Control - Danvy, Filinski (1990) (48 citations) (Correct)
....terms of shift, etc. self interpreter into ECPS. This ensures an automatic consistency between the two methods of language definition. 3 An Application: Nondeterministic Programming It is well known that continuation passing style can be used to simulate backtracking in, e.g. Prolog programs [Mellish Hardy 84] In this downward success model of nondeterministic execution, alternatives at choice points are considered in sequence. However, such an approach requires the entire program to be expressed with explicit success continuations, complicating its structure considerably. Moreover, in this case ....
Chris Mellish, Steve Hardy: Integrating Prolog in the POPLOG Environment, in Implementations of PROLOG, John A. Campbell (ed.) pp 147162, Ellis Horwood (1984)
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