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:


TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage