обратимый предикат «двоичный код в число»

Как лучше всего преобразовать двоичные биты (например, это может быть список 0/1) в числа обратимым способом. Я написал собственный предикат в swi, но есть ли лучшее решение? С уважением