Syntax: applyrule(rule, expression) where rule is a rule or a set of rules.
The syntax for rule is the same as that used in the pattern matcher. (For more details, see the help page of patmatch.)
A simple manipulation:
>
|
|
>
|
|
>
|
|
| (2.3) |
One can use parameters in applyrule:
>
|
|
| (2.4) |
applyrule can be used over data structures:
>
|
|
| (2.5) |
>
|
|
| (2.6) |