Question

我正在使用Prolog来解决家庭作业的通用加密算法难题。我将在SEND + MORE = MONEY的背景下讨论这个问题。

我教授给我的部分代码将3个输入列表（即[S,E,N,D]，[M,O,R,E]，[M,O,N,E,Y]减少到唯一变量列表，即[S,E,N,D,M,O,R,Y]。我已经得到了这一点，我递归地为简化列表中的每个变量分配0到9之间的唯一值。

我的问题是，如何将缩小列表中的值重新分配给3个输入列表中的每个值？我的代码如下：

solve_expression(L1,L2,L3) :-
    variables(L1,L2,L3,L),
    bind(L).

bind(L) :-
    assign_members(L,[0,1,2,3,4,5,6,7,8,9]),
    is_unique(L).

assign_members([],L) :-
    is_unique(L).
assign_members([H|T],L) :-
    member(H,L),
    assign_members(T,L).

is_unique([H|T]) :-
    unique(H,T),
    is_unique(T).
is_unique([]).

/** professor's code below */
unique(_,[]).
unique(X,[Y|Z]) :- 
    X \== Y,
    unique(X,Z).

merge([],L,L).
merge([X|Y],Z,[X|L]) :-
    unique(X,Z),
    !,
    merge(Y,Z,L).
merge([_|Y],Z,L) :- 
    merge(Y,Z,L).

variables(A,B,C,V) :-
    merge(A,B,W),
    merge(C,W,V).

请记住，这是一项家庭作业，所以我不是在寻找答案，只是暗示我如何才能做到这一点。此外，我只使用Prolog大约一个星期。

谢谢！

在Prolog中为密码算术难题重新分配变量

0 个答案: