ADD-DPAIRS-TO-UTREE : UNIFOP

ADD-DPAIRS-TO-UTREE is an unification command.
Add new dpairs at all non failure leaf nodes.
 
The command format for ADD-DPAIRS-TO-UTREE is:

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage