Prolog中自定义结构二进制数转整数实现求助

我正在学习Prolog基础，作业附加题要求将自定义结构的二进制数转换为整数。给定的二进制数Prolog定义如下：

bin(bin(X),bin(Y,Z)):-    bin(X),    bin(Y,Z).
bin(bin(X),bin(Y)):-    bin(X),    bin(Y).
bin(zero).
bin(one).

结构说明 #

该定义通过递归方式描述二进制序列：

• zero和one代表单个二进制位
• bin(X,Y)表示一个完整的二进制序列，其中X是当前最高位（单个二进制位），Y是剩余的低位序列
• 示例：二进制数10010对应的结构为bin(bin(one),bin(bin(zero),bin(bin(zero),bin(bin(one),bin(zero)))))，对应从左到右的位依次是1、0、0、1、0

转换实现 #

我们可以通过递归+累加器的方式实现转换，核心思路是从高位到低位依次处理每一位，每一步将当前累加值乘以2再加上当前位的数值，最终得到对应的整数：

% 主谓词：二进制结构转整数
bin_to_int(Bin, Int) :-
    bin_to_int_aux(Bin, 0, Int).

% 辅助谓词：处理单个0位，更新累加器
bin_to_int_aux(bin(zero), Acc, NewAcc) :-
    NewAcc is Acc * 2 + 0.

% 辅助谓词：处理单个1位，更新累加器
bin_to_int_aux(bin(one), Acc, NewAcc) :-
    NewAcc is Acc * 2 + 1.

% 辅助谓词：处理二进制序列结构，先处理高位X，再处理剩余序列Y
bin_to_int_aux(bin(X, Y), Acc, FinalInt) :-
    bin_to_int_aux(X, Acc, MidAcc),
    bin_to_int_aux(Y, MidAcc, FinalInt).

测试示例 #

查询：

bin_to_int(bin(bin(one),bin(bin(zero),bin(bin(zero),bin(bin(one),bin(zero))))), X).

返回结果：

X = 18

内容的提问来源于stack exchange，提问作者Guilherme Doherty Marques