Bitright/3

Этот предикат выполняет сдвиг вправо:

bitright(X,N,Y) /*(i,i,o)*/

Если X и N связаны с целыми величинами, то Y связывается со сдвину-

тым вправо на N разрядов двоичным представлением числа X. Оставшиеся сле-

ва разряды заполняются нулями.