
xor(+Number1, +Number2, -Result)
-Result is xor(+Number1, +Number2)

   Evaluates the bitwise exclusive disjunction Number1 xor Number2 and unifies
the resulting value with Result.



Arguments
   Number1             Integer.
   Number2             Integer.
   Result              Output: integer.

Type
   Arithmetic

Description

   Evaluates the bitwise exclusive disjunction Number1 xor Number2 and
   unifies the resulting value with Result.

   This predicate can be used as a function in arithmetic expressions.
   In coroutining mode, if Number1 or Number2 are uninstantiated, the call
   to xor/3 is delayed until these variables are instantiated.




Modes and Determinism
   xor(+, +, -) is det

Exceptions
     4 --- Number1 or Number2 is not instantiated (non-coroutining mode    only).
     5 --- Number1 or Number2 is a number but not an integer.
    24 --- Number1 or Number2 is not of a numeric type.

Examples
   
Success:
    Result is xor(11, 7).		% gives Result = 12
    Result is xor(11, -7).     		% gives Result = -14

Error:
    Result is xor(6, 2.0).		% type error


See Also
   is / 2
