CREATE-REWRITE-RULE : WFFOP

CREATE-REWRITE-RULE is a wff operation.
Creates a new rewrite rule with the given left and right
sides, such that the left-hand gwff rewrites to the result of
applying the function to the right-hand gwff.
 
The calling scheme for CREATE-REWRITE-RULE is:

(CREATE-REWRITE-RULE NAME GWFF1 GWFF2 FUNC TYPES BIDIR APPFN MHELP)
"SYMBOL" "GWFF" "GWFF" "SYMBOL" "TYPESYMLIST" "BIDIR" "SYMBOL" "STRING"


The result is of type GWFF.

The arguments have the following meaning:
NAME : name of rule
GWFF1 : left-hand side
GWFF2 : right-hand side
FUNC : function to apply
TYPES : polymorphic type vars
BIDIR : bidirectional rule?
APPFN : function to test for applicability
MHELP : help message

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage