Różnice

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

Odnośnik do tego porównania

Nowa wersja
Poprzednia wersja
pl:miw:miw08_xtt_rif:xtt2rif [2008/05/21 20:40]
miw przyklad translacji
pl:miw:miw08_xtt_rif:xtt2rif [2008/05/29 19:45]
miw
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">​in</​Const>​ 
-              </op> 
-              <arg> 
-                <​Var>​att_0</​Var>​ 
-              </​arg>​ 
-              <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>​ 
-            </​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