ADD-DPAIRS-TO-NODE : UNIFOP

ADD-DPAIRS-TO-NODE is an unification command.
Add new dpairs to the disagreement set at the CURRENT-TOPNODE. Applicable
only if CURRENT-TOPNODE is a non failure leaf node. `Name', the first argument
to this command must already represent a disagreement set. Use the command
ADD-DPAIR,etc., to create this set.
 
The command format for ADD-DPAIRS-TO-NODE is:

<Unif>ADD-DPAIRS-TO-NODE NAME FREE-VARS
"SYMBOL" "GVARLIST"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage