podmíněné výrazy (if … then … else …
)
kvantifikátory
existenční kvantifikátor (∃ → some $x in
poslupnost
satisfies podmínka
všeobecný kvantifikátor (∀ → every $x in
posloupnost
satisfies podmínka
(: Výpis prvočísel mezi 1 a 100 :) for $i in (2 to 100) return if (every $j in (2 to $i - 1) satisfies $i mod $j ne 0) then $i else ()