DUP-INNER : INFO

DUP-INNER is a flag setting or other piece of information.
A setting for the flag DUPLICATION-STRATEGY-PFD.
When duplication of quantifiers is needed (in path-focused search),
duplicate the innermost quantifier first.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage