ContentsIndex
ACDFGHILMNRSTV:
Index (M)
MinTerm
MultipleArity
MultipleDef
mAnd
mOr
main
mand
matchClause
matchPattern_h
matchPattern_hlv
matchPattern_hvl
matchRule
matchRules
matchSomewhere_c
matchSomewhere_hlv
matchSomewhere_hv
matchSomewhere_hvl
matchSomewhere_hvv
matchTermWithGroundTerm
maxJoin
maxLabels
mayCreateLabels
mayJoinLabels
mayPromptUser
mergeSubst
mergeSubsts
mif
mif'
minTerm
mor