Contents
Index
A
C
E
F
H
I
L
M
O
P
Q
R
S
T
V
Index (R)
RModule
Engine.Relational
Ralog
AST.Ralog
RelPred
AST.Ralog
Relation
AST.Ralog
Relational
AST.Relational
Rewritable
Engine.Rewritable
ramc
Main
relIsFinal
Engine.Relational
relRewrite
Engine.Relational
renameBoundVars
Translator.Prolog.Relational
replaceTermWithFresh
Translator.Prolog.Relational
reverseSM
Util.StrictMap
rewrite
Engine.Rewritable
rewriteN
Engine.Rewritable
rewriteStep
Engine.Rewritable
rewriteStepHack
Shell.Interactive