AIwiki

<sentence>
 <Implies>
  <if>
   <And>
    <formula>
     <Exists>
      <declare><Var>Employee</Var></declare>
      <declare><Var>Name</Var></declare>
      <declare><Var>Salary</Var></declare>
      <formula>
       <Frame>
        <object>
         <Member>
          <lower><Var>Employee</Var></lower>
          <upper><Const type="rif:iri">cmp:employees</Const></upper>
         </Member>
        </object>
        <slot>
         <Prop>
          <key><Name>name</Name></key>
          <val><Var>Name</Var></val>
         </Prop>
        </slot>
        <slot>
         <Prop>
          <key><Name>salary</Name></key>
          <val><Var>Salary</Var></val>
         </Prop>
        </slot>
       </Frame>
      </formula>
     </Exists>
    </formula>
    <formula>
     <External>
      <content>
       <Atom>
        <op><Const type="rif:iri">op:numeric-lesser-than</Const></op>
        <arg><Var>Salary</Var></arg>
        <arg><Const type="xsd:decimal">2000</Const></arg>
       </Atom>
      </content>
     </External>
    </formula>
   </And>
  </if>
  <then>
   <Atom>
    <op><Const type="rif:iri">op:increase-salary</Const></op>
    <arg><Const type="xsd:decimal">0.1</Const></arg>
    <arg><Var>Salary</Var></arg>
    <arg><Var>Name</Var></arg>\
   </Atom>
  </then>
 </Implies>
</sentence>

Powrót