ContentsIndex
ACEFHILMOPQRSTV
Index (C)
CAtom
CClause
CConcat
1 (Data Constructor)
2 (Data Constructor)
CIntersection
1 (Data Constructor)
2 (Data Constructor)
CManager
COp
CPerm
CTConst
CTFreeVar
CTStruct
CTVar
CUnion
1 (Data Constructor)
2 (Data Constructor)
Clause
Command
Const
Conv
compile
compileFile
compileToProlog
compileToRalog
compileToRelational
constructPerm