MATCH-PAIR : UNIFOP

MATCH-PAIR 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. n refers to the nth dpair,
and this must be a flexible-rigid dpair.
 
The command format for MATCH-PAIR is:

<Unif>MATCH-PAIR N
"POSINTEGER"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage