ARL Master Index


Collecting ARL Statements in a Source RuleSet

An Able source ruleset is a collection of Able rule language statements.

Depending on the number of variables and rules that you define, a ruleset can become rather lengthy, but in reality, the structure of a source rule file is quite simple, as the following is meant to show. All of the sections shown are explained in detail elsewhere, and you can read about them by following the links.


    RuleSet <nameOfRuleSet> (

      <Processing Options Statement>*          // Zero or more statements

      Variables(                               // Global variable declaration section
        <Variable Declaration Statement>+      // One or more statements
      )

      GoalVariable   ( <variableName> )        // Backward chaining only
      InputVariables ( <variableName>* )       // Exactly one statement, zero or more names
      OutputVariables( <variableName>* )       // Exactly one statement, zero or more names

      UserDefinedFunctions ( <name/arity>* )*  // Zero or more statements, zero or more names


      <Rule Block Statement>+                  // One or more statements

    ) ;End of ruleset
      

Able Rule Language master index.
Able RuleSet Editor master index.
Rule package table of contents.

Last modified: Thu Mar 29 10:11:48 CST 2001