Language Reference/Program Sections

Language Reference
Basic Concepts Lexical Elements Compilation Units Interfaces Classes Implementations Objects and Polymorphism Generic Interfaces and Classes Bounded polymorphism Monitors Namespaces Program Sections Domains Constants Predicates Suspending Predicates Properties Facts Clauses Terms Conversion Exception Handling Built-in entities Directives Attributes

Sections are used to declare and define entities in scopes.

Section :
   ConstantsSection
   DomainsSection
   PredicatesSection
   ConstructorsSection
   FactsSection
   ClausesSection
   ConditionalSection

Section: constantsSection, domainsSection, predicatesSection, constructorsSection, factsSection, clausesSection, conditionalSection

Not all sections can occur in all kinds of scopes, please refer to the description of Interfaces, Class Declarations, and Class Implementations for further details.

Conditional sections are described in conditionalSection.