Navigation  without Java Scripts

FACTS Sections in the Class Implementation

In facts sections of the class implementation you can declare facts - members of the class.

All facts declared in the class implementation are private; that is, they can be used only inside the class implementation.

Fact declared in the class implementation can be manipulated as usual facts by retract, assert, save, consult, and other predicates.

Syntax

[STATIC] FACTS [ - <facts_section_name>] <facts_declarations>
Where:
FACTS declares the facts section.
STATIC determines that facts declared in the section are static. Static facts are not generated for each instance of the class. Only one version of a static fact exists for the class and it is accessible for all objects of the class.
<facts_section_name> a list of declarations of facts.
See also