[NEXT] [PREV] HANDBOOK / GENTLE PRIMER / Smart Traversal /

Default Rule

Gentle
Applications
Concepts
Examples
Handbook
Support
Download

Consider a predicate

'sweep' P ( ANY )

i.e. with one parameter. For a given functor

f ( T₁ , T₂ , ... , T_n )

the default rule has the form

'rule' P( f(X₁ , X₂ , ... , X_n) ) :
P( X₁ ) P( X₂ ) ... P( X_n )

where a member P(X_i) is omitted if the corresponding type T_i is not defined by terms (e.g if it is INT).