[[
✎ pl:miw:miw08_xtt_rif:xtt2rif
]]
aiWiki
Pokaż stronę
Ostatnie zmiany
Indeks
Zaloguj
Ta strona jest tylko do odczytu. Możesz wyświetlić źródła tej strony ale nie możesz ich zmienić.
<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</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> </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)
Pokaż stronę
Poprzednie wersje
Menadżer multimediów
Do góry