This page says that xor has precedence 500, but its real precedence is 400 (source code).
Good point. Not clear what the correct solutions is though. Seems most systems do not define it as an operator, YAP defines it as SWI (400) and XSB as 500. The latter makes sense as this is the precedence of the other bit operators. What is best?