[ Arithmetic | Reference Manual | Alphabetic Index ]

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

-Result is +Number1 \/ +Number2

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

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

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) instantiation fault: Number1 or Number2 is not instantiated (non-coroutining mode only).
(5) type error: Number1 or Number2 is a number but not an integer.
(24) number expected: Number1 or Number2 is not of a numeric type.

Examples