Navigation  without Java Scripts

operator is/2

Integer is Expression

Arithmetic assignment

Remark

Arithmetic assignment operator is defined as op(700,xfx,"is"). It is not an unification operator, so the free variable at the left side is not allowed

Example

A is 2+3.
A=5
1 Solution