protocol
hierarchyp
¶
Common hierarchy protocol for prototype and class hierarchies.
Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
static
(no dependencies on other entities)
Public interface¶
ancestor/1
¶
Returns, by backtracking, all object ancestors.
Compilation flags:
static
Template:
ancestor(Ancestor)
Mode and number of proofs:
ancestor(?object)
- zero_or_more
ancestors/1
¶
List of all object ancestors.
Compilation flags:
static
Template:
ancestors(Ancestors)
Mode and number of proofs:
ancestors(-list)
- one
leaf/1
¶
Returns, by backtracking, all object leaves.
Compilation flags:
static
Template:
leaf(Leaf)
Mode and number of proofs:
leaf(?object)
- zero_or_more
leaves/1
¶
List of all object leaves.
Compilation flags:
static
Template:
leaves(Leaves)
Mode and number of proofs:
leaves(-list)
- one
descendant/1
¶
Returns, by backtracking, all object descendants.
Compilation flags:
static
Template:
descendant(Descendant)
Mode and number of proofs:
descendant(?object)
- zero_or_more
descendants/1
¶
List of all object descendants.
Compilation flags:
static
Template:
descendants(Descendants)
Mode and number of proofs:
descendants(-list)
- one
Protected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)