[ Arithmetic | Reference Manual | Alphabetic Index ]
\/(+Number1, +Number2, -Result)
Evaluates the bitwise disjunction Number1 \/ Number2 and unifies the
resulting value with Result.
- Output: integer.
This predicate is used by the ECLiPSe compiler to expand evaluable
arithmetic expressions. So the call to \/(Number1, Number2, Result) is
Result is Number1 \/ Number2
which should be preferred for portability.
This operation behaves as if operating on an unlimited length two's
In coroutining mode, if Number1 or Number2 are uninstantiated, the call
to \//3 is delayed until these variables are instantiated.
Modes and Determinism
- (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.
Result is 11 \/ 7. % gives Result = 15
Result is 11 \/ -7. % gives Result = -5
is / 2