
HANDBOOK
/ GENTLE PRIMER
/ Smart Traversal
/
Default Rule
Consider a predicate
i.e. with one parameter.
For a given functor
the default rule has the form
-
'rule' P( f(X1 , X2 , ... , Xn) ) :
P( X1 ) P( X2 ) ... P( Xn )
where a member P(Xi) is omitted if the corresponding type
Ti is not defined by terms (e.g if it is INT).
