"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 or download 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.

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 where a member P(Xi) is omitted if the corresponding type Ti is not defined by terms (e.g if it is INT).