1

当我执行此代码（如下所示）时，它总是设置隐式约束。

正如您在下面看到的，它总是这样说，D1 = D2但是没有这样的显式约束，也没有任何模式匹配会强制这样做。

或者换句话说，在和之间有一些引用D1，D2这样每当D1被初始化时，D2就会自动初始化。我看不出这是怎么回事。有人可以解释一下吗，我试着用调试器解决它，但它没有帮助。

这是一个谜题“GERALD + DONALD = ROBERT”，最初三个列表包含这些变量。 在此处输入图像描述

如果有人想测试它，我在下面添加代码：

sum(N1,N2,N):-
    sum1(N1,N2,N,0,0,[0,1,2,3,4,5,6,7,8,9],_).

sum1([],[],[],0,0,Digits,Digits).    
sum1([D1|N1],[D2|N2],[D|N],C1,C,Digs1,Digs2):-
    sum1(N1,N2,N,C1,C2,Digs1,Digs2),
    digitSum(D1,D2,C2,D,C,Digs2,Digs).

digitSum(D1,D2,C1,D,C,Digs1,Digs):-
    del(D1,Digs1,Digs2),
    del(D2,Digs2,Digs3),
    del(D,Digs3,Digs),
    S is D1 + D2 + C1,
    D is S mod 10,
    C is D div 10.

del(A,L,L):-
    nonvar(A),!.
del(A,[A|L],L).
del(A,[B|L],[B|L1]):-
    del(A,L,L1).

询问：

?- sum( [D,O,N,A,L,D], [G,E,R,A,L,D], [R,O,B,E,R,T] ).
4

1 回答 1

1

当它说时，D1 = D2您应该从列表中看到两者都D1具有D2相同的变量，并且 List 是一个仿函数，并且一个变量在整个仿函数中是可见的。

你应该看到，当递归结束时，你有D's(last element) from GERALDand DONALD，因为这个 D 在整个仿函数中是可见的，D1 并且D2都引用同一个变量。

于 2017-12-11T13:41:40.910 回答