Logic Box Syntax Reference

Expressions

123Integer.
abcVariable.
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.)