将二进制位(例如,可能是0/1的列表)以可逆方式转换为数字的最佳方法是什么.我在swi中编写了一个原生谓词,但有更好的解决方案吗？最好的祝福
prolog clpfd
clpfd ×1
prolog ×1