In prolog, why is `(1+2) is (2+1)` false?

Question

I\'m trying to learn some prolog using the gprolog tool. I\'m trying to see if lists sum up to the same value. I\'m trying to understand why this expression is false.