Różnice

Różnice między wybraną wersją a wersją aktualną.

Odnośnik do tego porównania

pl:miw:miw08_xtt_rif:xtt2rif [2008/05/28 17:26]
miw
pl:miw:miw08_xtt_rif:xtt2rif [2019/06/27 15:50]
Linia 1: Linia 1:
-<code xml><?​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_rule</​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">​assign</​Const>​ 
-                                       </​op>​ 
-                                       <​arg>​ 
-                                          <​Var>​att_1</​Var>​ 
-                                       </​arg>​ 
-                                       <​arg>​ 
-                                          <​External>​ 
-                                             <​content>​ 
-                                                <​Expr>​ 
-                                                   <​op>​ 
-                                                      <Const type="​rif:​iri">​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">​assign</​Const>​ 
-                                       </​op>​ 
-                                       <​arg>​ 
-                                          <​Var>​att_1</​Var>​ 
-                                       </​arg>​ 
-                                       <​arg>​ 
-                                          <​External>​ 
-                                             <​content>​ 
-                                                <​Expr>​ 
-                                                   <​op>​ 
-                                                      <Const type="​rif:​iri">​add</​Const>​ 
-                                                   </​op>​ 
-                                                   <​arg>​ 
-                                                      <Const type="​xsd:​decimal">​5</​Const>​ 
-                                                   </​arg>​ 
-                                                   <​arg>​ 
-                                                      <​External>​ 
-                                                         <​content>​ 
-                                                            <​Expr>​ 
-                                                               <​op>​ 
-                                                                  <Const type="​rif:​iri">​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>​ 
-</​code>​ 
-Pobierz {{:​pl:​miw:​miw08_xtt_rif:​xtt_przyklad.xml|xtt_przyklad.xml}}. 
- 
-[[pl:​miw:​miw08_xtt_rif#​translacja_xttml_rif|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