ContentsIndex
ABCDEFGHIKLMNOPQRSTUVWZ
Index (T)
T
TL
TStruct
TVar
Tag
1 (Type/Class)
2 (Type/Class)
Tag1
TagType
1 (Type/Class)
2 (Type/Class)
TaggedRelational
Term
Tracer
1 (Type/Class)
2 (Data Constructor)
TransError
TransResult
Translator
tagList
tailVector
term_arity
term_t
toposelect
1 (Function)
2 (Function)
trans
trans_clause
trans_term
transition
translate
translateAtom
translateClause
translateFile
translateI
translateK
translateKStruct
translateKTerm
translateKUnit
translateKo
translateP
translatePredicate
1 (Function)
2 (Function)
translateProlog
translateR
translateSclause
translateW
transtau
tryUnify
tryUnify2
tterm