P. Tarau and V. Dahl. Logic programming and logic grammars with binarization and firstorder continuations. In LOPSTR'94: 4th Int. Workshop on Logic Program Synthesis and Transformation, Pisa, volume 883 of LNCS. Springer-Verlag, 1994. 17  Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
A Rewriting Prolog Semantics - Kulas (2000) (Correct)
....based on continuations, but their contents and handling is (to our knowledge) novel, which appears to dramatically simplify the semantics. Whereas continuations play a central role in denotational semantics, it can also be beneficial to have first order continuations at the source level [BR93] [TD94]. BR93] extends the semantics of [NF89] to cover new built ins (for Prolog) that explicitly manipulate success and failure continuations. Lin94] uses continuation passing for an intermediate representation for compilation to an abstract machine. Operational semantics of Horn clauses is ....
P. Tarau and V. Dahl. Logic programming and logic grammars with binarization and firstorder continuations. In LOPSTR'94: 4th Int. Workshop on Logic Program Synthesis and Transformation, Pisa, volume 883 of LNCS. Springer-Verlag, 1994. 17
Defining Standard Prolog in Rewriting Logic - Kulas, Beierle (2000) (Correct)
....constructs covered in these approaches include the cut operator, but further advanced control constructs like catch throw or database predicates are not treated. Continuations play a central role in denotational semantics, but it can also be beneficial to have them at the source level [6] [23]. Brisset and Ridoux [6] extend the semantics of [18] to cover new built ins (for #Prolog) that explicitly manipulate success and failure continuations. In [15] continuation passing is used for an intermediate representation for compilation to an ab c #2000 Published by Elsevier Science B. ....
P. Tarau and V. Dahl. Logic programming and logic grammars with binarization and first-order continuations. In LOPSTR'94: 4th Int. Workshop on Logic Program Synthesis and Transformation, Pisa, volume 883 of LNCS. Springer-Verlag, 1994. 17
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