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 (C)
CAtom
AST.Prolog
CClause
AST.Prolog
CConcat
1 (Data Constructor)
AST.Ralog
2 (Data Constructor)
AST.Relational
CConcat'
Engine.Tagging
CIntersection
1 (Data Constructor)
AST.Ralog
2 (Data Constructor)
AST.Relational
CIntersection'
Engine.Tagging
CManager
Compiler.Manager
COp
AST.Ralog
CPerm
AST.Vector
CTFreeVar
AST.Prolog
CTStruct
AST.Prolog
CTVar
AST.Prolog
CTag
1 (Data Constructor)
AST.Prolog
2 (Data Constructor)
Engine.Tagging
CUnion
1 (Data Constructor)
AST.Ralog
2 (Data Constructor)
AST.Relational
CUnion'
Engine.Tagging
Cap
LRFact
Clause
1 (Type/Class)
AST.Prolog
,
AST.Prolog
2 (Data Constructor)
AST.Prolog
Command
Shell.Interactive.Command
Conc
LRFact
Const
AST.Prolog
,
AST.Prolog
Conv
AST.Ralog
change_tag
AST.Prolog
check_common_head
1 (Function)
Engine.Unification.MM
2 (Function)
Engine.Unification.MM2
compacteq
1 (Function)
Engine.Unification.MM
2 (Function)
Engine.Unification.MM2
compile
Compiler.Manager
compileFile
Compiler.Manager
compileQuery
Shell.Compiler
compileToProlog
Shell.Compiler
compileToRalog
Shell.Compiler
compileToRelational
Shell.Compiler
completePerm
Translator.Prolog.Relational