| BottomUp | Main Datalog module |
| TopDown | Top-Down Computation |
| Default | Default literal base, where symbols are just strings |
| BottomUpAst | |
| BottomUpParser | |
| BottomUpLexer | |
| TopDownParser | |
| TopDownLexer | |
| TopDownAst | AST for TopDown terms |
| Version | |
| TopDownUnix | Unix Interpreted Predicates |
| CamlInterface | Bridge between Datalog.TopDown and OCaml |