UNAPPLY-RRULE-ANY* : WFFOP

UNAPPLY-RRULE-ANY* is a wff operation.
Unapply one active rewrite rule to the current edwff (i.e.
apply it in the reverse direction); attempt different active rules in
the order in which they are listed by LIST-RRULES until one works.
Repeat this until no more rules are applicable. If any current rules
are bidirectional, you will be prompted about which direction to
apply them in. CAUTION: may not terminate.
 
The calling scheme for UNAPPLY-RRULE-ANY* is:

(UNAPPLY-RRULE-ANY* GWFF)
"GWFF"


The result is of type GWFF.

The arguments have the following meaning:
GWFF : gwff after rewriting

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage