{{stub}}{{language|Lolli |site=http://www.lix.polytechnique.fr/~dale/lolli/}} Lolli is a logic programming language based on a fragment of linear logic.