[ Arithmetic | Reference Manual | Alphabetic Index ]
/\(+Number1, +Number2, -Result)
Evaluates the bitwise conjunction 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 = 3
Result is -11 /\ 7. % gives Result = 5
is / 2