meaning of lolita

1. LOLITA Language for the On-Line Investigation and Transformation of Lolli Named after the "lollipop" operator "-o" An interpreter for logic programming based on linear logic, written by Josh Hodas cis. upenn. edu>. Lolli can be viewed as a refinement of the Hereditary Harrop formulas of Lambda-Prolog. All the operators though not the higher order unification of Lambda-Prolog are supported, but with the addition of linear variations. Thus a Lolli program distinguishes between clauses which can be used as many, or as few, times as desired, and those that must be used 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 of Intuitionistic Linear Logic", Information and Computation, to appear].
2. a sexually precocious young girl

Related Words

lolita |

Developed & Maintained By Taraprasad.com