Lolli

Named for the "lollipop" operator "-o"

A language 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.

"Logic Programming in a Fragment of Intuitionistic Linear Logic", Josh Hodas et al, Information and Computation, 110(2), pp. 327-365 (May 1, 1994)