[ Arithmetic | Reference Manual | Alphabetic Index ]
/\(+Number1, +Number2, -Result)
-Result is +Number1 /\ +Number2
Evaluates the bitwise conjunction Number1 /\ Number2 and unifies the
resulting value with Result.
- Number1
- Integer.
- Number2
- Integer.
- Result
- Output: integer.
Description
Evaluates the bitwise conjunction 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
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
Result is 11 /\ 7. % gives Result = 3
Result is -11 /\ 7. % gives Result = 5
See Also
is / 2