Joshua S. Hodas. Implementing Gap Threading Parsers in a Linear-Logic Programming Language. Submitted to the 1992 Joint International Conference and Symposium on Logic Programming. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
Lolli: An Extension of Lambda-Prolog with Linear Logic Context.. - Hodas (1992) Self-citation (Hodas) (Correct)
....notA(del) notA( notA( x ) notA( notA( notA(bang( isA(A) notA(A) Figure 2: A Prolog implementation of Lolli Conclusion The Lolli project is an ongoing one, and the language is by no means frozen. On the other hand, the collection of program examples is growing [6, 5, 3], and this shows that the logic fragment chosen represents a useful extension of the traditional hereditary Harrop formulas of Prolog. Acknowledgements The author is grateful to Dale Miller, for his partnership in this work, and to Jean Marc Andreoli, Gianluigi Bellin, Jawahar Chirimar, Remo ....
Joshua S. Hodas. Implementing Gap Threading Parsers in a Linear-Logic Programming Language. Submitted to the 1992 Joint International Conference and Symposium on Logic Programming.
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