MATCH : UNIFOP

MATCH is an unification command.
This command is applicable only if current-topnode is a non-terminal
leaf node. Calls TPS's version of Huet's MATCH algorithm to find substitutions
at the current topnode. The pair selected by MATCH is determined by the value
of the flag APPLY-MATCH.
 
The command format for MATCH is:

<Unif>MATCH

TPS documentation homepage


MATCH : WFFOP

MATCH is a wff operation.
Test whether a wff matches a wff schema.
 
The calling scheme for MATCH is:

(MATCH WFFSCHEMA GWFF)
"GWFF" "GWFF"


The result is of type GWFFALIST.

The arguments have the following meaning:
WFFSCHEMA : The wff schema with meta-variables
GWFF : The matched wff

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage