Navigation  without Java Scripts

Using an Object

Once an object of some class has been created, it is possible to pass the object identifier as a parameter in predicate calls, or to make calls to members of this object.

The syntax for specification of predicates and facts from some formerly created object is:

[object_identifier :][class_name ::] predicate_or_fact_name[(arguments)]
The object_identifier can be omitted inside class implementations and in specifications of static class members. It will be considered as a call to the corresponding member of that class (or its base class) in case it exists. Otherwise, if there is no member with the given name declared in the class (or inherited classes), the compiler generates the error.

Domain declared inside a class belongs to this class, but not to separate instances of this class. Therefore, the domain name outside the class should be qualified only with the name of the class in which the domain is declared:

[class_name]::<domain_name>
The object identifier cannot be used.

Inside a class in order to specify a predicate, a fact or a domain that is not a member of any class, in case when the class has the adequate member with the same name, the following syntax can be used:

:: name_of_predicate_fact_domain [(arguments)]
See also