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