UNIF-SUBSUMED-TRUE : EVENT

UNIF-SUBSUMED-TRUE is an event.
Event which is signalled whenever a set of disagreement pairs is
found to be subsumed by an ununifiable set.

WRITE-WHEN NEVER

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage