protocol
hierarchyp¶
Common hierarchy protocol for prototype and class hierarchies.
Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
staticDependencies:
(none)
Remarks:
(none)
Public predicates¶
ancestor/1¶
Returns, by backtracking, all object ancestors.
Compilation flags:
staticTemplate:
ancestor(Ancestor)Mode and number of proofs:
ancestor(?object) - zero_or_moreancestors/1¶
List of all object ancestors.
Compilation flags:
staticTemplate:
ancestors(Ancestors)Mode and number of proofs:
ancestors(-list) - oneleaf/1¶
Returns, by backtracking, all object leaves.
Compilation flags:
staticTemplate:
leaf(Leaf)Mode and number of proofs:
leaf(?object) - zero_or_moreleaves/1¶
List of all object leaves.
Compilation flags:
staticTemplate:
leaves(Leaves)Mode and number of proofs:
leaves(-list) - onedescendant/1¶
Returns, by backtracking, all object descendants.
Compilation flags:
staticTemplate:
descendant(Descendant)Mode and number of proofs:
descendant(?object) - zero_or_moredescendants/1¶
List of all object descendants.
Compilation flags:
staticTemplate:
descendants(Descendants)Mode and number of proofs:
descendants(-list) - oneProtected predicates¶
(none)
Private predicates¶
(none)