Index of types


A
aggregate [TopDownAst]
aggregate [TopDown.S.Lit]

C
clause [TopDownAst]
clause [BottomUpAst]
clause [TopDown.PARSE]
clause [BottomUp.S]
A datalog clause, i.e.
const [CamlInterface]
Datalog constant.
const [TopDown.S]
const [TopDown]

D
db [BottomUp.S]
A database of facts and clauses, with incremental fixpoint computation

E
embedding [BottomUp.Univ]
Conversion between the universal type and 'a
explanation [BottomUp.S]

F
fact_handler [BottomUp.S]
file [TopDownAst]
file [BottomUpAst]
Toplevel statement

G
goal_handler [BottomUp.S]

I
interpreter [TopDown.S.DB]
Interpreted predicate.

K
key [CamlInterface.Univ]
Conversion between the universal type and 'a

L
lit [TopDown.PARSE]
literal [TopDownAst]
literal [BottomUpAst]
literal [BottomUp.S]
A datalog atom, i.e.

M
map [TopDown.S.BuiltinFun]
Map symbols to builtin functions.

N
name_ctx [TopDown.PARSE]

Q
query [BottomUpAst]

R
renaming [TopDown.S.Subst]
rule [TopDown.S.Rewriting]

S
scope [TopDown.S.Subst]
scope [TopDown.S]
set [BottomUp.S.Query]
mutable set of term lists
soft_clause [BottomUp.S]
soft_lit [BottomUp.S]
symbol [BottomUp.S]
Abstract type of symbols (individual objects)

T
t [CamlInterface.RelList]
t [CamlInterface.Rel3]
t [CamlInterface.Rel2]
t [CamlInterface.Rel1]
t [CamlInterface.Univ]
The universal type
t [TopDown.PARSABLE_CONST]
t [TopDown.S.DB]
A database is a repository for Datalog clauses.
t [TopDown.S.Rewriting]
A rewriting system.
t [TopDown.S.Index]
A set of term->data bindings, for efficient retrieval by unification
t [TopDown.S.BuiltinFun]
t [TopDown.S.Subst]
t [TopDown.S.C]
t [TopDown.S.Lit]
t [TopDown.S.T]
t [TopDown.CONST]
t [BottomUp.Univ]
The universal type
term [TopDownAst]
term [BottomUpAst]
term [TopDown.PARSE]
term [BottomUp.S]
token [TopDownParser]
token [BottomUpParser]

U
user_fun [BottomUp.S]

V
vartbl [Default]