Contents
Index
A
C
E
F
H
I
L
M
O
P
Q
R
S
T
V
Index (T)
TL
AST.Ralog
TS
Translator.Prolog.Relational
Term
AST.Prolog
Tracer
1 (Type/Class)
Engine.Tracer
2 (Data Constructor)
Engine.Tracer
TransError
Translator
TransM
Translator.Prolog.Relational
TransResult
Translator
TransState
Translator.Prolog.Relational
Translator
Translator
trans
Translator.Relational.Ralog
translate
Translator
translateAtom
Translator.Prolog.Relational
translateClause
Translator.Prolog.Relational
translateFile
Translator
translateI
Translator.Relational.Ralog
translateK
Translator.Relational.Ralog
translateKStruct
Translator.Relational.Ralog
translateKTerm
Translator.Relational.Ralog
translateKUnit
Translator.Relational.Ralog
translateKo
Translator.Relational.Ralog
translateMappings
Translator.Prolog.Relational
translateP
Translator.Relational.Ralog
translatePredicate
1 (Function)
Translator.Prolog.Relational
2 (Function)
Translator.Relational.Ralog
translateProlog
Translator.Prolog.Relational
translateR
Translator.Relational.Ralog
translateW
Translator.Relational.Ralog
tryUnify
Engine.Relational