AIwiki

To jest stara wersja strony!

<Ruleset>
 <rule>
  <Forall>
   <declare><Var>grade</Var></declare>
   <formula>
    <Implies>
     <if>
      <formula>
       <Equal>
        <arg><Var>grade</Var></arg>
        <arg><Const type="xsd:decimal">2</Const></arg>
       </Equal>
      </formula>
     </if>
     <then>
      <Uniterm>
       <op><Const type="rif:local">nrfail</Const></op>
       <arg>
        <Uniterm>
         <op><Const type="rif:local">count</Const></op>
         <arg><Var>grade</Var></arg>
        </Uniterm>
       </arg>
      </Uniterm>
     </then>
    </Implies>
   </formula>
  </Forall>
 </rule>
 <rule>
  <Forall>
   <declare><Var>grade</Var></declare>
   <formula>
    <Implies>
     <if>
      <formula>
       <Uniterm>
        <op><Const type="rif:local">op:not-equal</Const></op>
        <arg><Var>grade</Var></arg>
        <arg><Const type="xsd:decimal">2</Const></arg>
       </Uniterm>
      </formula>
     </if>
     <then>
!!!
     </then>
    </Implies>
   </formula>
  </Forall>
 </rule>
</Ruleset>

Powrót