PATH-NODES : INFO

PATH-NODES is a flag setting or other piece of information.
A setting for SUBSUMPTION-NODES.
Checks only those nodes in the unification tree on the path
from the root to the new node.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage