UNIF-SUBSUMED-TEST : EVENT

UNIF-SUBSUMED-TEST is an event.
Event which is signalled whenever a set of disagreement pairs
unification is tested for subsumption.

WRITE-WHEN NEVER

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage