可逆的“二进制到数字"谓词

问题描述

以可逆方式将二进制位(例如，它可能是 0/1 的列表)转换为数字的最佳方法是什么?我已经用 swi 编写了一个原生谓词，但是有更好的解决方案吗?最好的问候

What is the best way to convert binary bits (it might be a list of 0/1, for example) into numbers in a reversible way. I've written a native predicate in swi, but is there better solution ?Best regards

推荐答案

使用 CLP(FD) 约束，例如:

Use CLP(FD) constraints, for example:

:- use_module(library(clpfd)).

binary_number(Bs0, N) :-
        reverse(Bs0, Bs),
        foldl(binary_number_, Bs, 0-0, _-N).

binary_number_(B, I0-N0, I-N) :-
        B in 0..1,
        N #= N0 + B*2^I0,
        I #= I0 + 1.

示例查询:

?- binary_number([1,0,1], N).
N = 5.

?- binary_number(Bs, 5).
Bs = [1, 0, 1] .

?- binary_number(Bs, N).
Bs = [],
N = 0 ;
Bs = [N],
N in 0..1 ;
etc.

这篇关于可逆的“二进制到数字"谓词的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！