<?xml version="1.0" encoding="UTF-8"?>
<Group id="xtt_1">
   <sentence id="rul_1">
      <Implies>
         <if>
            <External>
               <content>
                  <Atom>
                     <op>
                        <Const type="rif:iri">xtt:in</Const>
                     </op>
                     <arg>
                        <Var>att_0</Var>
                     </arg>
                     <arg>
                        <External>
                           <content>
                              <Expr>
                                 <op>
                                    <Const type="rif:iri">xtt:complex_set</Const>
                                 </op>
                                 <arg>
                                    <External>
                                       <content>
                                          <Expr>
                                             <op>
                                                <Const type="rif:iri">xtt:set</Const>
                                             </op>
                                             <arg>
                                                <Const type="xsd:decimal">1</Const>
                                             </arg>
                                             <arg>
                                                <Const type="xsd:decimal">5</Const>
                                             </arg>
                                          </Expr>
                                       </content>
                                    </External>
                                 </arg>
                                 <arg>
                                    <Const type="xsd:decimal">8</Const>
                                 </arg>
                              </Expr>
                           </content>
                        </External>
                     </arg>
                  </Atom>
               </content>
            </External>
         </if>
         <then>
            <Atom>
               <op>
                  <Const type="rif:iri">xtt:next_table</Const>
               </op>
               <arg>
                  <Const type="xsd:string">xtt_1</Const>
               </arg>
               <arg>
                  <External>
                     <content>
                        <Expr>
                           <op>
                              <Const type="rif:iri">xtt:run_many</Const>
                           </op>
                           <arg>
                              <External>
                                 <content>
                                    <Expr>
                                       <op>
                                          <Const type="rif:iri">xtt:assign</Const>
                                       </op>
                                       <arg>
                                          <Var>att_1</Var>
                                       </arg>
                                       <arg>
                                          <External>
                                             <content>
                                                <Expr>
                                                   <op>
                                                      <Const type="rif:iri">xtt:add</Const>
                                                   </op>
                                                   <arg>
                                                      <Var>att_0</Var>
                                                   </arg>
                                                   <arg>
                                                      <Const type="xsd:decimal">1</Const>
                                                   </arg>
                                                </Expr>
                                             </content>
                                          </External>
                                       </arg>
                                    </Expr>
                                 </content>
                              </External>
                           </arg>
                           <arg>
                              <External>
                                 <content>
                                    <Expr>
                                       <op>
                                          <Const type="rif:iri">xtt:assign</Const>
                                       </op>
                                       <arg>
                                          <Var>att_1</Var>
                                       </arg>
                                       <arg>
                                          <External>
                                             <content>
                                                <Expr>
                                                   <op>
                                                      <Const type="rif:iri">xtt:add</Const>
                                                   </op>
                                                   <arg>
                                                      <Const type="xsd:decimal">5</Const>
                                                   </arg>
                                                   <arg>
                                                      <External>
                                                         <content>
                                                            <Expr>
                                                               <op>
                                                                  <Const type="rif:iri">xtt:sin</Const>
                                                               </op>
                                                               <arg>
                                                                  <Var>att_0</Var>
                                                               </arg>
                                                            </Expr>
                                                         </content>
                                                      </External>
                                                   </arg>
                                                </Expr>
                                             </content>
                                          </External>
                                       </arg>
                                    </Expr>
                                 </content>
                              </External>
                           </arg>
                        </Expr>
                     </content>
                  </External>
               </arg>
            </Atom>
         </then>
      </Implies>
   </sentence>
</Group>

Pobierz xtt_przyklad.xml.

Powrót

pl/miw/miw08_xtt_rif/xtt2rif.txt · ostatnio zmienione: 2019/06/27 15:50 (edycja zewnętrzna)
www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0