4

我是 Prolog 的新手，非常困惑！我不断收到“[WMAPDY] 的单例变量”警告。我在某处读到有时该警告是无用的。我还读到该程序不会因为警告而编译所有子句？

我正在尝试做的程序是一个密码算术难题，应该“解决”AM+PM=DAY。

如果有人可以帮助解决此错误，并且单例变量警告总是很重要，我将不胜感激！

斯科特

solve([A,M,P,D,Y]):- 
select(A,[0,1,2,3,4,5,6,7,8,9],WA), % W means Without
not(A=0),
select(M,WA,WMA),
select(P,WMA,WMAP),
not(P=0),
select(D,WMAP,WMAPD),
not(D=0),
select(Y,WMAPD,WMAPDY),
DAY is 100*D+10*A+Y,
AM  is 10*A+M,
PM  is 10*P+M,
DAY is AM+PM.
4

2 回答 2

5

由于此行而生成警告：

select(Y,WMAPD,WMAPDY),

该程序不会WMAPDY在其他任何地方使用该变量，因此它是无用的，Prolog 会警告您，因为它可能是一个错字（在这种情况下不是）。要摆脱警告，您有一些可能性：

  1. 使用member/2代替select/3，因为您对结果列表不感兴趣：member(Y,WMAPD)。

  2. 将变量标记为单例。如果您以 a 开始变量，_则不会对其进行检查，它们是单例：select(Y, WMAPD,_WMAPDY)。或者，您可以使用特殊的单例变量_: select(Y,WMAPD,_)。（这个描述至少对 SWI Prolog 是正确的，下划线变量_WMAPDY可能适用于更多方言）。

  3. :- style_check(-singleton)在您的文件中使用。这会关闭文件的所有单例变量警告，我宁愿不使用它，因为这个警告有利于查找错别字。（此描述也适用于 SWI Prolog，SICStus Prolog 可以使用选项single_var_warnings，对于其他系统，请查看您的手册）。

这是 SWI-Prolog 手册中的相关部分

于 2014-12-09T03:13:49.917 回答
3

为什么不使用？

基于我之前对一个 非常相关的问题的回答，我们查询：

?- solve_n_dump([A,M] + [P,M] #= [D,A,Y]).
Eq = ([2,5]+[9,5]#=[1,2,0]), Zs = [2,5,9,1,0].
Eq = ([2,7]+[9,7]#=[1,2,4]), Zs = [2,7,9,1,4].
Eq = ([2,8]+[9,8]#=[1,2,6]), Zs = [2,8,9,1,6].
Eq = ([3,5]+[9,5]#=[1,3,0]), Zs = [3,5,9,1,0].
Eq = ([3,6]+[9,6]#=[1,3,2]), Zs = [3,6,9,1,2].
Eq = ([3,7]+[9,7]#=[1,3,4]), Zs = [3,7,9,1,4].
Eq = ([3,8]+[9,8]#=[1,3,6]), Zs = [3,8,9,1,6].
Eq = ([4,5]+[9,5]#=[1,4,0]), Zs = [4,5,9,1,0].
Eq = ([4,6]+[9,6]#=[1,4,2]), Zs = [4,6,9,1,2].
Eq = ([4,8]+[9,8]#=[1,4,6]), Zs = [4,8,9,1,6].
Eq = ([5,6]+[9,6]#=[1,5,2]), Zs = [5,6,9,1,2].
Eq = ([5,7]+[9,7]#=[1,5,4]), Zs = [5,7,9,1,4].
Eq = ([5,8]+[9,8]#=[1,5,6]), Zs = [5,8,9,1,6].
Eq = ([6,5]+[9,5]#=[1,6,0]), Zs = [6,5,9,1,0].
Eq = ([6,7]+[9,7]#=[1,6,4]), Zs = [6,7,9,1,4].
Eq = ([7,5]+[9,5]#=[1,7,0]), Zs = [7,5,9,1,0].
Eq = ([7,6]+[9,6]#=[1,7,2]), Zs = [7,6,9,1,2].
Eq = ([7,8]+[9,8]#=[1,7,6]), Zs = [7,8,9,1,6].
Eq = ([8,5]+[9,5]#=[1,8,0]), Zs = [8,5,9,1,0].
Eq = ([8,6]+[9,6]#=[1,8,2]), Zs = [8,6,9,1,2].
Eq = ([8,7]+[9,7]#=[1,8,4]), Zs = [8,7,9,1,4].
true.
于 2015-08-13T04:53:15.220 回答