Index of modules


B
BottomUp
Main Datalog module
BottomUpAst
Toplevel statement
BottomUpLexer
BottomUpParser
BuiltinFun [TopDown.S]

C
C [TopDown.S]
CVariantTbl [TopDown.S]
CamlInterface
Bridge between Datalog.TopDown and OCaml
Const [TopDown.S]

D
DB [TopDown.S]
Default [TopDownUnix]
Default
Default literal base, where symbols are just strings
Default [TopDown]

H
Hashcons [BottomUp]

I
Index [TopDown.S]

L
Lit [TopDown.S]
Logic [CamlInterface]

M
Make [TopDownUnix]
Make [TopDown]
Make [BottomUp]
Build a Datalog module.
MakeParse [TopDown]

P
Parse [CamlInterface]

Q
Query [BottomUp.S]

R
Rel1 [CamlInterface]
Rel2 [CamlInterface]
Rel3 [CamlInterface]
RelList [CamlInterface]
Rewriting [TopDown.S]

S
StringSymbol [Default]
Subst [TopDown.S]

T
T [TopDown.S]
TD [TopDownUnix.S]
TVariantTbl [TopDown.S]
Tbl [TopDown.S.C]
Tbl [TopDown.S.T]
TopDown
Top-Down Computation
TopDownAst
AST for TopDown terms
TopDownLexer
TopDownParser
TopDownUnix
Unix Interpreted Predicates

U
Univ [CamlInterface]
Univ [BottomUp]
This module is present to allow the user to extend explanations with her own types.

V
Version