UNIF-PROBLEM : UNIFOP

UNIF-PROBLEM is an unification command.
Set up a new unification problem. `Name', the first argument to this
command must already represent a disagreement set. Use the command ADD-DPAIR
to create this set. This is in some ways the inverse of the NAME-DPAIR
command.
 
The command format for UNIF-PROBLEM is:

<Unif>UNIF-PROBLEM NAME FREE-VARS
"SYMBOL" "GVARLIST"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage