?- 1 + 2 = 3. fail.