The problem is…
…that Prolog has an extremely limited knowledge of mathematics
- It leads to a big search space over only six possible integer values!
It checks to see if the formulae hold, but it doesn’t think about them as mathematical formulae nor does it manipulate them as math