Navigation  without Java Scripts

Class Scopes

The scope of a name of a domain, a predicate or a fact is defined as the program area in which the domain, the predicate or the fact can be accessed.

Virtual predicates, facts, and domains can be redefined in the class hierarchy. In order to refer to names in the previous scope, the name of some member can be preceded by a class name for explicit qualification of the class in use. The following notation should be used for an explicit naming of the class:

class_name :: member_name(arguments)
See also