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

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



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

Type
   Arithmetic

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


See Also
   is / 2
