H ? « ‹ ← → › »

Language peer sets for lolli:
United States↑
United States/1992↑
Designed 1992 ↑
1990s languages ↑
Fifth generation↑
Post-Cold War↑

lolli(ID:4029/lol004)

alternate simple view
Country: United States
Designed 1992

(named for the "lollipop" operator "-o")

Lolli is an interpreter for logic programming based on intuitionist
linear logic principles.

Based on linear logic, in which clauses can be used exactly once. All the operators of lambda- Prolog plus linear variations. Implemented in SML/NJ.
Related languages
Prolog → lolli   Extension of
References:
  • Hodas, Josh (1992) Hodas, Josh "Specifying Filler-Gap Dependency Parsers in a Linear Logic-Programming Language"
          in (1992) Proceedings of the 1992 Joint International Conference and Symposium on Logic Programming
  • Hodas, Josh (1992) Hodas, Josh "Lolli - an Extension of Lambda Prolog with Linear Context Management" Extract: Account
          in (1992) Workshop on the Lambda Prolog Programming Language
  • Hodas, Joshua S. (1992) Hodas, Joshua S. "Lolli: An Extension of Prolog with Linear Logic Context Management"
          in Proceedings of the 1992 Workshop on the Prolog Pro (1992) Proceedings of the 1992 Workshop on the Prolog Programming Language, Philadelphia, Summer 1992. Dale Miller, ed.
  • Pfenning, Frank and Elliot, Conal (1993) Pfenning, Frank and Elliot, Conal "A Semi-Functional Implementation of a Higher-Order Logic Programming Language"
          in Peter Lee, editor, (1993) Peter Lee, editor, "Topics in Advanced Language Implementation", MIT Press, 1993
  • Hodas, Joshua S. and Miller, Dale (1994) Hodas, Joshua S. and Miller, Dale "Logic Programming in a Fragment of Intuitionistic Linear Logic", pp327-365
          in (1994) Information and Computation, 110(2) May 1, 1994
  • Hodas, Joshua S. (1994) Hodas, Joshua S. Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation, University of Pennsylvania Technical Reports MS-CIS-92-28 or LINC LAB 269
          in (1994) Information and Computation, 110(2) May 1, 1994
  • Logic Programming in Intuitionistic Linear Logic: (1994) Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation, by Joshua S. Hodas, Ph.D. U of Pennsylvania, May 1994
          in (1994) Information and Computation, 110(2) May 1, 1994
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder