Lolli

(language)(Named after the "lollipop" operator "-o") Aninterpreter for logic programming based on linear logic,written by Josh Hodas .

Lolli can be viewed as a refinement of the Hereditary Harrop formulas of Lambda-Prolog. All the operators (though notthe higher order unification) of Lambda-Prolog aresupported, but with the addition of linear variations. Thus aLolli program distinguishes between clauses which can be usedas many, or as few, times as desired, and those that must beused exactly once. Lolli is implemented in SML/NJ.

ftp://ftp.cis.upenn.edu/pub/Lolli/Lolli-0.7.tar.Z.

[Josh Hodas et al, "Logic Programming in a Fragment ofIntuitionistic Linear Logic", Information and Computation, toappear].

单词	lolli
释义	Lolli Lolli (language)(Named after the "lollipop" operator "-o") Aninterpreter for logic programming based on linear logic,written by Josh Hodas . Lolli can be viewed as a refinement of the Hereditary Harrop formulas of Lambda-Prolog. All the operators (though notthe higher order unification) of Lambda-Prolog aresupported, but with the addition of linear variations. Thus aLolli program distinguishes between clauses which can be usedas many, or as few, times as desired, and those that must beused exactly once. Lolli is implemented in SML/NJ. ftp://ftp.cis.upenn.edu/pub/Lolli/Lolli-0.7.tar.Z. [Josh Hodas et al, "Logic Programming in a Fragment ofIntuitionistic Linear Logic", Information and Computation, toappear].
随便看	reminding you about reminding you of remind me about remind me later remind me of remind of remind one about remind (one) about (something) remind one of remind (one) of (someone or something) reminds reminds about reminds her about reminds her of remind someone about remind someone of remind them about remind them of remind us about remind us of remind you about remind you of remineralisation remineralization remineralize