Różnice między wybraną wersją a wersją aktualną.
| Both sides previous revision Poprzednia wersja Nowa wersja | Poprzednia wersja | ||
|
pl:miw:miw08_xtt_rif:rif_minicases:rbmv [2008/04/02 21:44] miw |
pl:miw:miw08_xtt_rif:rif_minicases:rbmv [2019/06/27 15:50] (aktualna) |
||
|---|---|---|---|
| Linia 1: | Linia 1: | ||
| <code xml> | <code xml> | ||
| - | <Ruleset> | + | <Group xmlns="http://www.w3.org/2007/rif#"> |
| - | <rule> | + | <sentence> |
| <Forall> | <Forall> | ||
| <declare><Var>grade</Var></declare> | <declare><Var>grade</Var></declare> | ||
| Linia 7: | Linia 7: | ||
| <Implies> | <Implies> | ||
| <if> | <if> | ||
| - | <formula> | + | <Equal> |
| - | <Equal> | + | <side><Var>grade</Var></side> |
| - | <arg><Var>grade</Var></arg> | + | <side><Const type="xsd:decimal">2</Const></side> |
| - | <arg><Const type="xsd:decimal">2</Const></arg> | + | </Equal> |
| - | </Equal> | + | |
| - | </formula> | + | |
| </if> | </if> | ||
| <then> | <then> | ||
| - | <Uniterm> | + | <Atom> |
| - | <op><Const type="rif:local">nrfail</Const></op> | + | <op><Const type="rif:local">var:nrfail</Const></op> |
| <arg> | <arg> | ||
| - | <Uniterm> | + | <Expr> |
| - | <op><Const type="rif:local">count</Const></op> | + | <op><Const type="rif:local">fn:count</Const></op> |
| <arg><Var>grade</Var></arg> | <arg><Var>grade</Var></arg> | ||
| - | </Uniterm> | + | </Expr> |
| </arg> | </arg> | ||
| - | </Uniterm> | + | </Atom> |
| </then> | </then> | ||
| </Implies> | </Implies> | ||
| </formula> | </formula> | ||
| </Forall> | </Forall> | ||
| - | </rule> | + | </sentence> |
| - | <rule> | + | <sentence> |
| - | <formula> | + | |
| <Implies> | <Implies> | ||
| <if> | <if> | ||
| - | <formula> | + | <Exists> |
| - | <Exists> | + | <declare><Var>grade</Var></declare> |
| - | <declare><Var>grade</Var></declare> | + | <formula> |
| - | </Exists> | + | <And> |
| - | </formula> | + | </And> |
| + | </formula> | ||
| + | </Exists> | ||
| </if> | </if> | ||
| <then> | <then> | ||
| - | !!! | + | <Atom> |
| + | <op><Const type="rif:iri">fn:run-two</Const></op> | ||
| + | <arg> | ||
| + | <Expr> | ||
| + | <op><Const type="rif:iri">grmean</Const></op> | ||
| + | <arg> | ||
| + | <Expr> | ||
| + | <op><Const type="rif:iri">fn:mean</Const></op> | ||
| + | <arg><Var>grade</Var></arg> | ||
| + | </Expr> | ||
| + | </arg> | ||
| + | </Expr> | ||
| + | </arg> | ||
| + | <arg> | ||
| + | <Expr> | ||
| + | <op><Const type="rif:iri">nrgrades</Const></op> | ||
| + | <arg> | ||
| + | <Expr> | ||
| + | <op><Const type="rif:iri">fn:count</Const></op> | ||
| + | <arg><Var>grade</Var></arg> | ||
| + | </Expr> | ||
| + | </arg> | ||
| + | </Expr> | ||
| + | </arg> | ||
| + | </Atom> | ||
| </then> | </then> | ||
| </Implies> | </Implies> | ||
| - | </formula> | + | </sentence> |
| - | </rule> | + | </Group> |
| - | </Ruleset> | + | |
| </code> | </code> | ||
| [[pl:miw:miw08_xtt_rif:rif_minicases|Powrót]] | [[pl:miw:miw08_xtt_rif:rif_minicases|Powrót]] | ||
