Contents
Index
A
C
D
F
G
H
I
L
M
N
R
S
T
V
:
Index (M)
MinTerm
Syntax
MultipleArity
TypeCheck
MultipleDef
TypeCheck
mAnd
Utility
mOr
Utility
main
Main
mand
Utility
matchClause
Main
matchPattern_h
Grammar
matchPattern_hlv
Grammar
matchPattern_hvl
Grammar
matchRule
Main
matchRules
Main
matchSomewhere_c
Main
matchSomewhere_hlv
Main
matchSomewhere_hv
Main
matchSomewhere_hvl
Main
matchSomewhere_hvv
Main
matchTermWithGroundTerm
Main
maxJoin
Main
maxLabels
Main
mayCreateLabels
Main
mayJoinLabels
Main
mayPromptUser
Main
mergeSubst
Renamer
mergeSubsts
Renamer
mif
Utility
mif'
Utility
minTerm
Renamer
mor
Utility