Lolli Lolli is a logic programming language based on a fragment of linear logic. As such it allows the programmer to exercise a significant degree of control over the pattern of use of certain program clauses (or resources) during proof search.

Current Version:   0.701 License Type:   Free

Home Site: http://www.cs.hmc.edu/~hodas/research/lolli/ Source Code Availability:   Yes Available Binary Packages: Debian Package:   No RedHat RPM Package:   No Other Packages:   No Targeted Platforms: Lolli is written in Standard ML of New Jersey Software/Hardware Requirements: Standard ML of New Jersey

Other Links: None Mailing Lists/USENET News Groups: None User Comments: None See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers