
\/(+Number1, +Number2, -Result)
-Result is +Number1 \/ +Number2

   Evaluates the bitwise disjunction Number1 \/ Number2 and unifies the
resulting value with Result.



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

Type
   Arithmetic

Description

   Evaluates the bitwise disjunction Number1 \/ Number2 and unifies the
   resulting value with Result.

   This operation behaves as if operating on an unlimited length two's
   complement representation.

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




Modes and Determinism
   \/(+, +, -) 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
   
    Result is 11 \/ 7.		% gives Result = 15
    Result is 11 \/ -7.        % gives Result = -5


See Also
   is / 2
