bitset_composition/3

     bitset_composition(?Mask1, ?Mask2, ?Mask3)
     

Take any of two mutually exclusive bitmasks and produce a third one, such that the arguments obey Mask3 is Mask1 \/ Mask2.