Logic Box Syntax Reference
Expressions
123
Integer.
abc
Variable.
Foo[
expression
,
expression
,
…
]
Record.
Predicates
expression
=
expression
Expressions must be equal.
predicate
&
predicate
Both predicates must be satisfied simultaneously.
predicate
|
predicate
At least one of the predicates must be satisfied.
Foo{
expression
,
expression
,
…
}
Invoke a predefined predicate named
Foo{}
.
~
variable
predicate
Create a new local variable. (It's scope covers the following predicate only. Any existing variable of the same name is shadowed within this predicate.)