Product SiteDocumentation Site

8.7.2. First-Order Logic (Quantified Variables)

Given a sequence, it is possible to perform universal or existential quantification on a predicate.
Example 8.15. Universal and existential quantifiers.
every $i in 1 to 10
  satisfies $i gt 0,
some $i in -5 to 5, $j in 1 to 10
  satisfies $i eq $j
Results: 
true
true

Variables can be annotated with a type. If no type is specified, item* is assumed. If the type does not match, an error is raised.
Example 8.16. Existential quantifier with type checking.
some $i as integer in -5 to 5, $j as integer
  in 1 to 10
  satisfies $i eq $j
Results: 
true