https://acg.gitlabpages.inria.fr/dev/ACGtk/release/acgtk/Logic/Lambda/index.html
Lambda (acgtk.Logic.Lambda)
lambdalogic
https://acg.gitlabpages.inria.fr/dev/ACGtk/release/acgtk/DatalogLib/Dl_lexer/index.html
Dl_lexer (acgtk.DatalogLib.Dl_lexer)
dllexer