Difference between revisions of "Language Reference/Program Sections"

From wiki.visual-prolog.com
m (1 revision(s))
(Properties Section)
Line 8: Line 8:
 
   <PredicatesSection>
 
   <PredicatesSection>
 
   <ConstructorsSection>
 
   <ConstructorsSection>
 +
  <PropertiesSection>
 
   <FactsSection>
 
   <FactsSection>
 
   <ClausesSection>
 
   <ClausesSection>
 
   <ConditionalSection></vipbnf>
 
   <ConditionalSection></vipbnf>
  
<vpbnf><Section></vpbnf>: {{lang2|Constants|Constants_Sections|constantsSection}}, {{lang2|Domains|Domains_Sections|domainsSection}}, {{lang2|Predicates|Predicates_Sections|predicatesSection}}, {{lang2|Predicates|Constructors_Sections|constructorsSection}}, {{lang2|Facts|Facts_Sections|factsSection}}, {{lang2|Clauses|Clauses_Section|clausesSection}}, {{lang2|Directives|Conditional_Compilation|conditionalSection}}
+
<vpbnf><Section></vpbnf>: {{lang2|Constants|Constants Sections|ConstantsSection}}, {{lang2|Domains|Domains Sections|DomainsSection}}, {{lang2|Predicates|Constructors Sections|ConstructorsSection}}, {{lang2|Facts|Facts Sections|FactsSection}}, {{lang2|Clauses|Clauses Section|ClausesSection}}, {{lang2|Predicates|Properties Sections|PropertiesSection}}, {{lang2|Directives|Conditional Compilation|ConditionalSection}}
  
Not all sections can occur in all kinds of scopes, please refer to the description of {{lang2|Interfaces|Interfaces|Interfaces}}, {{lang2|Classes|Class_Declarations|Class Declarations}}, and {{lang2|Implementations|Class_Implementations|Class Implementations}} for further details.
+
Not all sections can occur in all kinds of scopes, please refer to the description of {{lang2|Interfaces|Interfaces|Interfaces}}, {{lang2|Classes|Class Declarations|Class Declarations}}, and {{lang2|Implementations|Class Implementations|Class Implementations}} for further details.
  
Conditional sections are described in {{lang2|Directives|Conditional_Compilation|conditionalSection}}.
+
Conditional sections are described in {{lang2|Directives|Conditional Compilation|Conditional Compilation}}.

Revision as of 13:24, 17 October 2008

Language Reference

Sections are used to declare and define entities in scopes.

Section :
   ConstantsSection
   DomainsSection
   PredicatesSection
   ConstructorsSection
   PropertiesSection
   FactsSection
   ClausesSection
   ConditionalSection

Section: ConstantsSection, DomainsSection, ConstructorsSection, FactsSection, ClausesSection, PropertiesSection, 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 Conditional Compilation.