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