Contents
Index
A
C
E
F
H
I
L
M
O
P
Q
R
S
T
V
Index (N)
newMapping
Translator.Prolog.Relational
normalizeAtom
Translator.Prolog.Relational
normalizeClause
Translator.Prolog.Relational
normalizeClause'
Translator.Prolog.Relational
normalizeHead
Translator.Prolog.Relational
normalizePredicate
Translator.Prolog.Relational
normalizeTail
Translator.Prolog.Relational
normalizeTerm
Translator.Prolog.Relational