Contents
Index
A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
Z
Index (A)
Action
Engine.Unification.MM
Atom
1 (Type/Class)
AST.Prolog
,
AST.Prolog
2 (Data Constructor)
AST.Prolog
addDefinition
Compiler.Module
addLToVector
Translator.Prolog.Relational
addToSM
Util.StrictMap
addToVector
Translator.Prolog.Relational
apply
1 (Function)
Engine.Unification
2 (Function)
Engine.Unification.MM
3 (Function)
Engine.Unification.MM2
args
AST.Prolog
,
AST.Prolog
arity
AST.Prolog
,
AST.Prolog
atomVector
Translator.Prolog.Relational