"Fossies" - the Fresh Open Source Software Archive
Member "gentle-97/html/defaultrule.html" (20 Aug 1998, 1232 Bytes) of package /linux/misc/old/gentle-97.tar.gz:
Caution: In this restricted "Fossies" environment the current HTML page may not be correctly presentated and may have some non-functional links.
You can here alternatively try to browse
the pure source code or just view
the uninterpreted raw source code. If the rendering is insufficient you may try to find and view the page on the gentle-97.tar.gz
project site itself.
/ GENTLE PRIMER
/ Smart Traversal
Consider a predicate
i.e. with one parameter.
For a given functor
the default rule has the form
where a member P(Xi) is omitted if the corresponding type
Ti is not defined by terms (e.g if it is INT).
'rule' P( f(X1 , X2 , ... , Xn) ) :
P( X1 ) P( X2 ) ... P( Xn )