ContentsIndex
ACEFHILMOPQRSTV
Index (T)
TL
TS
Term
Tracer
1 (Type/Class)
2 (Data Constructor)
TransError
TransM
TransResult
TransState
Translator
trans
translate
translateAtom
translateClause
translateFile
translateI
translateK
translateKStruct
translateKTerm
translateKUnit
translateKo
translateMappings
translateP
translatePredicate
1 (Function)
2 (Function)
translateProlog
translateR
translateW
tryUnify