Lolli is a logic programming language based on a fragment of linear logic.