protocol
class_hierarchyp¶
Class hierarchy protocol.
Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
staticExtends:
public hierarchypRemarks:
(none)
Public predicates¶
class/1¶
Returns, by backtracking, all object classes.
Compilation flags:
staticTemplate:
class(Class)Mode and number of proofs:
class(?object) - zero_or_moreclasses/1¶
List of all object classes.
Compilation flags:
staticTemplate:
classes(Classes)Mode and number of proofs:
classes(-list) - oneinstance/1¶
Returns, by backtracking, all class instances.
Compilation flags:
staticTemplate:
instance(Instance)Mode and number of proofs:
instance(?object) - zero_or_moreinstances/1¶
List of all class instances.
Compilation flags:
staticTemplate:
instances(Instances)Mode and number of proofs:
instances(-list) - onesubclass/1¶
Returns, by backtracking, all class subclasses.
Compilation flags:
staticTemplate:
subclass(Subclass)Mode and number of proofs:
subclass(?object) - zero_or_moresubclasses/1¶
List of all class subclasses.
Compilation flags:
staticTemplate:
subclasses(Subclasses)Mode and number of proofs:
subclasses(-list) - onesuperclass/1¶
Returns, by backtracking, all class superclasses.
Compilation flags:
staticTemplate:
superclass(Superclass)Mode and number of proofs:
superclass(?object) - zero_or_moresuperclasses/1¶
List of all class superclasses.
Compilation flags:
staticTemplate:
superclasses(Superclasses)Mode and number of proofs:
superclasses(-list) - oneleaf_instance/1¶
Returns, by backtracking, all class leaf instances.
Compilation flags:
staticTemplate:
leaf_instance(Leaf)Mode and number of proofs:
leaf_instance(?object) - zero_or_moreleaf_instances/1¶
List of all class leaf instances.
Compilation flags:
staticTemplate:
leaf_instances(Leaves)Mode and number of proofs:
leaf_instances(-list) - oneleaf_class/1¶
Returns, by backtracking, all class leaf subclasses.
Compilation flags:
staticTemplate:
leaf_class(Leaf)Mode and number of proofs:
leaf_class(?object) - zero_or_moreleaf_classes/1¶
List of all class leaf leaf subclasses.
Compilation flags:
staticTemplate:
leaf_classes(Leaves)Mode and number of proofs:
leaf_classes(-list) - onedescendant_instance/1¶
Returns, by backtracking, all class descendant instances.
Compilation flags:
staticTemplate:
descendant_instance(Descendant)Mode and number of proofs:
descendant_instance(?object) - zero_or_moredescendant_instances/1¶
List of all class descendant instances.
Compilation flags:
staticTemplate:
descendant_instances(Descendants)Mode and number of proofs:
descendant_instances(-list) - onedescendant_class/1¶
Returns, by backtracking, all class descendant subclasses.
Compilation flags:
staticTemplate:
descendant_class(Descendant)Mode and number of proofs:
descendant_class(?object) - zero_or_moredescendant_classes/1¶
List of all class descendant subclasses.
Compilation flags:
staticTemplate:
descendant_classes(Descendants)Mode and number of proofs:
descendant_classes(-list) - oneProtected predicates¶
(see entity ancestors)
Private predicates¶
(see entity ancestors)