<r2ml:RuleBase xmlns:r2ml="http://www.rewerse.net/I1/2006/R2ML"
          xmlns:r2mlv="http://www.rewerse.net/I1/2006/R2ML/R2MLV"
          xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
          xmlns:xs="http://www.w3.org/2001/XMLSchema" 
          xmlns:userv="http://www.businessrulesforum.com/2005/userv#" 
          xmlns:swrlb="http://www.w3.org/2003/11/swrlb"
          xsi:schemaLocation="http://oxygen.informatik.tu-cottbus.de/R2ML/0.5/R2ML.xsd">
 
 <r2mlv:Vocabulary> 
  <r2mlv:Class r2mlv:ID="Internal"> 
    <r2mlv:Attribute r2mlv:ID="x">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
    <r2mlv:Attribute r2mlv:ID="y">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
    <r2mlv:Attribute r2mlv:ID="s">
      <r2mlv:range>
       <r2mlv:Datatype r2mlv:ID="xs:positiveInteger"></r2mlv:Datatype>
      </r2mlv:range>
    </r2mlv:Attribute>
   </r2mlv:Class>
 </r2mlv:Vocabulary>
 
 
 <r2ml:ProductionRuleSet>
 
 
  <r2ml:ProductionRule r2ml:ruleID="factorial01">
   <r2ml:Documentation>
       <r2ml:RuleText r2ml:textFormat="plain">
            factorial
       </r2ml:RuleText>
   </r2ml:Documentation>
    <r2ml:conditions>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="notExist"> //problem z tym predykatem notExist - nie ma odpowiednika
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="s">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
    </r2ml:conditions>
 
    <r2ml:producedAction>
 
      <r2ml:AssignActionExpression r2ml:propertyID="s">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Internal" r2ml:name="internal" />
       </r2ml:contextArgument>         
       <r2ml:value>
        <r2ml:TypedLiteral r2ml:lexicalValue="x" r2ml:datatypeID="xs:positiveInteger"/>
       </r2ml:value>
      </r2ml:AssignActionExpression>
 
      <r2ml:InvokeActionExpression r2ml:propertyID="s">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Internal" r2ml:name="internal" />
       </r2ml:contextArgument>
      </r2ml:InvokeActionExpression>
 
    </r2ml:producedAction>
  </r2ml:ProductionRule>
 
 
  <r2ml:ProductionRule r2ml:ruleID="factorial02">
   <r2ml:Documentation>
       <r2ml:RuleText r2ml:textFormat="plain">
            factorial
       </r2ml:RuleText>
   </r2ml:Documentation>
    <r2ml:conditions>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="s">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="0" r2ml:datatypeID="xs:positiveInteger"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
    </r2ml:conditions>
 
    <r2ml:producedAction>
 
      <r2ml:AssignActionExpression r2ml:propertyID="s">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Internal" r2ml:name="internal" />
       </r2ml:contextArgument>         
       <r2ml:value>
        <r2ml:TypedLiteral r2ml:lexicalValue="s-1" r2ml:datatypeID="xs:positiveInteger"/>
       </r2ml:value>
      </r2ml:AssignActionExpression>
 
      <r2ml:InvokeActionExpression r2ml:propertyID="s">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Internal" r2ml:name="internal" />
       </r2ml:contextArgument>
      </r2ml:InvokeActionExpression>
 
    </r2ml:producedAction>
  </r2ml:ProductionRule>
 
 
  <r2ml:ProductionRule r2ml:ruleID="factorial03">
   <r2ml:Documentation>
       <r2ml:RuleText r2ml:textFormat="plain">
            factorial
       </r2ml:RuleText>
   </r2ml:Documentation>
    <r2ml:conditions>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="x">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="0" r2ml:datatypeID="xs:positiveInteger"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="x">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="0" r2ml:datatypeID="xs:positiveInteger"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
    </r2ml:conditions>
 
    <r2ml:producedAction>
 
      <r2ml:AssignActionExpression r2ml:propertyID="y">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Internal" r2ml:name="internal" />
       </r2ml:contextArgument>         
       <r2ml:value>
        <r2ml:TypedLiteral r2ml:lexicalValue="y*s" r2ml:datatypeID="xs:positiveInteger"/>
       </r2ml:value>
      </r2ml:AssignActionExpression>
 
      <r2ml:InvokeActionExpression r2ml:propertyID="s">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Internal" r2ml:name="internal" />
       </r2ml:contextArgument>
      </r2ml:InvokeActionExpression>
 
    </r2ml:producedAction>
  </r2ml:ProductionRule>
 
 
  <r2ml:ProductionRule r2ml:ruleID="factorial04">
   <r2ml:Documentation>
       <r2ml:RuleText r2ml:textFormat="plain">
            factorial
       </r2ml:RuleText>
   </r2ml:Documentation>
    <r2ml:conditions>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:equal">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="x">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="0" r2ml:datatypeID="xs:positiveInteger"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
    </r2ml:conditions>
 
    <r2ml:producedAction>
 
      <r2ml:AssignActionExpression r2ml:propertyID="y">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Internal" r2ml:name="internal" />
       </r2ml:contextArgument>         
       <r2ml:value>
        <r2ml:TypedLiteral r2ml:lexicalValue="1" r2ml:datatypeID="xs:positiveInteger"/>
       </r2ml:value>
      </r2ml:AssignActionExpression>
 
    </r2ml:producedAction>
  </r2ml:ProductionRule>
 
 
  <r2ml:ProductionRule r2ml:ruleID="factorial05">
   <r2ml:Documentation>
       <r2ml:RuleText r2ml:textFormat="plain">
            factorial
       </r2ml:RuleText>
   </r2ml:Documentation>
    <r2ml:conditions>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:greaterThan">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="x">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="0" r2ml:datatypeID="xs:positiveInteger"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
        <r2ml:DatatypePredicateAtom r2ml:datatypePredicateID="swrlb:equal">
          <r2ml:dataArguments>
            <r2ml:AttributeFunctionTerm r2ml:attributeID="x">
              <r2ml:contextArgument>
                <r2ml:ObjectVariable r2ml:name="internal" r2ml:classID="Internal"/>
              </r2ml:contextArgument>
            </r2ml:AttributeFunctionTerm>
              <r2ml:TypedLiteral r2ml:lexicalValue="1" r2ml:datatypeID="xs:positiveInteger"/>
          </r2ml:dataArguments>
        </r2ml:DatatypePredicateAtom>
 
    </r2ml:conditions>
 
    <r2ml:producedAction>
 
      <r2ml:AssignActionExpression r2ml:propertyID="y">
       <r2ml:contextArgument>
        <r2ml:ObjectVariable r2ml:classID="Internal" r2ml:name="internal" />
       </r2ml:contextArgument>         
       <r2ml:value>
        <r2ml:TypedLiteral r2ml:lexicalValue="y" r2ml:datatypeID="xs:positiveInteger"/>
       </r2ml:value>
      </r2ml:AssignActionExpression>
 
    </r2ml:producedAction>
  </r2ml:ProductionRule>
 
 
 </r2ml:ProductionRuleSet>
 
</r2ml:RuleBase>