Difference between revisions of "Language Reference/Program Sections"
From wiki.visual-prolog.com
(Properties Section) |
m (links) |
||
| Line 13: | Line 13: | ||
<ConditionalSection></vipbnf> | <ConditionalSection></vipbnf> | ||
<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 | <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 Sections|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 {{ | Not all sections can occur in all kinds of scopes, please refer to the description of {{lang|Interfaces|Interfaces}}, {{lang|Classes|Class Declarations}}, and {{lang|Implementations|Class Implementations}} for further details. | ||
Conditional sections are described in {{lang2|Directives|Conditional Compilation|Conditional Compilation}}. | Conditional sections are described in {{lang2|Directives|Conditional Compilation|Conditional Compilation}}. | ||
Latest revision as of 10:34, 26 October 2012
Sections are used to declare and define entities in scopes.
Section : ConstantsSection DomainsSection PredicatesSection ConstructorsSection PropertiesSection FactsSection ClausesSection ConditionalSection
Section: ConstantsSection, DomainsSection, PredicatesSection, 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.