Tilomino

Tutorial

Functions

Square(var)
Triangle(var)
Circle(var)
Small(var)
Medium(var)
Large(var)
Smaller(var1,var2)
Larger(var1,var2)
Northof(var1,var2)
Southof(var1,var2)
Westof(var1,var2)
Eastof(var1,var2)
Above(var1,var2)
Below(var1,var2)
Leftof(var1,var2)
Rightof(var1,var2)
Between(var1,var2,var3)
SameShape(var1,var2)
SameSize(var1,var2)
SameRow(var1,var2)
SameCol(var1,var2)
SameLat(var1,var2)
SameLon(var1,var2)

Operators

And (&)
Or (|)
Not (~)
If (->)
Iff (<->)
Forall (A)
Exists (E)
Equals (=)
Notequal (#)