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 (T)
T
LRFact
TL
AST.Ralog
TStruct
AST.Prolog
TVar
AST.Prolog
Tag
1 (Type/Class)
AST.Prolog
2 (Type/Class)
Engine.Tagging
Tag1
Engine.Tagging
TagType
1 (Type/Class)
AST.Prolog
2 (Type/Class)
Engine.Tagging
TaggedRelational
Engine.Tagging
Term
AST.Prolog
,
AST.Prolog
Tracer
1 (Type/Class)
Engine.Tracer
2 (Data Constructor)
Engine.Tracer
TransError
Translator
TransResult
Translator
Translator
Translator
tagList
AST.Prolog
tailVector
Translator.Prolog.Relational
term_arity
AST.Prolog
term_t
LRFact
toposelect
1 (Function)
Engine.Unification.MM
2 (Function)
Engine.Unification.MM2
trans
Translator.Relational.Ralog
trans_clause
Translator.String.Prolog
trans_term
Translator.String.Prolog
transition
Main
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
translateP
Translator.Relational.Ralog
translatePredicate
1 (Function)
Translator.Prolog.Relational
2 (Function)
Translator.Relational.Ralog
translateProlog
Translator.Prolog.Relational
translateR
Translator.Relational.Ralog
translateSclause
Translator.Prolog.Relational
translateW
Translator.Relational.Ralog
transtau
Main
tryUnify
Engine.Relational
tryUnify2
Engine.RelOld
tterm
Engine.RelOld