Contents
Index
A
C
E
F
H
I
L
M
O
P
Q
R
S
T
V
Index (V)
Var
AST.Prolog
VarMapping
Translator.Prolog.Relational
Vector
AST.Vector
varmap
Translator.Prolog.Relational
vars_atom
AST.Prolog
vars_clause
AST.Prolog
vars_lit
AST.Prolog
vars_term
AST.Prolog