protocol
class_hierarchyp
¶
Class hierarchy protocol.
Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
static
Extends:
public
hierarchypRemarks:
(none)
Public predicates¶
class/1
¶
Returns, by backtracking, all object classes.
Compilation flags:
static
Template:
class(Class)
Mode and number of proofs:
class(?object)
- zero_or_more
classes/1
¶
List of all object classes.
Compilation flags:
static
Template:
classes(Classes)
Mode and number of proofs:
classes(-list)
- one
instance/1
¶
Returns, by backtracking, all class instances.
Compilation flags:
static
Template:
instance(Instance)
Mode and number of proofs:
instance(?object)
- zero_or_more
instances/1
¶
List of all class instances.
Compilation flags:
static
Template:
instances(Instances)
Mode and number of proofs:
instances(-list)
- one
subclass/1
¶
Returns, by backtracking, all class subclasses.
Compilation flags:
static
Template:
subclass(Subclass)
Mode and number of proofs:
subclass(?object)
- zero_or_more
subclasses/1
¶
List of all class subclasses.
Compilation flags:
static
Template:
subclasses(Subclasses)
Mode and number of proofs:
subclasses(-list)
- one
superclass/1
¶
Returns, by backtracking, all class superclasses.
Compilation flags:
static
Template:
superclass(Superclass)
Mode and number of proofs:
superclass(?object)
- zero_or_more
superclasses/1
¶
List of all class superclasses.
Compilation flags:
static
Template:
superclasses(Superclasses)
Mode and number of proofs:
superclasses(-list)
- one
leaf_instance/1
¶
Returns, by backtracking, all class leaf instances.
Compilation flags:
static
Template:
leaf_instance(Leaf)
Mode and number of proofs:
leaf_instance(?object)
- zero_or_more
leaf_instances/1
¶
List of all class leaf instances.
Compilation flags:
static
Template:
leaf_instances(Leaves)
Mode and number of proofs:
leaf_instances(-list)
- one
leaf_class/1
¶
Returns, by backtracking, all class leaf subclasses.
Compilation flags:
static
Template:
leaf_class(Leaf)
Mode and number of proofs:
leaf_class(?object)
- zero_or_more
leaf_classes/1
¶
List of all class leaf leaf subclasses.
Compilation flags:
static
Template:
leaf_classes(Leaves)
Mode and number of proofs:
leaf_classes(-list)
- one
descendant_instance/1
¶
Returns, by backtracking, all class descendant instances.
Compilation flags:
static
Template:
descendant_instance(Descendant)
Mode and number of proofs:
descendant_instance(?object)
- zero_or_more
descendant_instances/1
¶
List of all class descendant instances.
Compilation flags:
static
Template:
descendant_instances(Descendants)
Mode and number of proofs:
descendant_instances(-list)
- one
descendant_class/1
¶
Returns, by backtracking, all class descendant subclasses.
Compilation flags:
static
Template:
descendant_class(Descendant)
Mode and number of proofs:
descendant_class(?object)
- zero_or_more
descendant_classes/1
¶
List of all class descendant subclasses.
Compilation flags:
static
Template:
descendant_classes(Descendants)
Mode and number of proofs:
descendant_classes(-list)
- one
Protected predicates¶
(see entity ancestors)
Private predicates¶
(see entity ancestors)