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