lolli701 773576 lolli lolli701 59023 lolli/examples lolli701 4205 lolli/examples/compiling lolli701 1976 lolli/examples/database lolli701 42221 lolli/examples/parsing lolli701 22705 lolli/examples/parsing/DCG_Syntax lolli701 19516 lolli/examples/parsing/Native_Syntax lolli701 2516 lolli/examples/proving lolli701 3722 lolli/examples/rewriting lolli701 3107 lolli/examples/simple lolli701 1276 lolli/examples/switch lolli701 482858 lolli/papers lolli701 198024 lolli/src lolli701 54487 lolli/src/interpreter lolli701 141420 lolli/src/parser thesis 3468764 thesis