我需要输出格式如下。我有除最后一行之外的确切输出,我无法弄清楚如何将最后一行添加到输出中。我将不胜感激任何帮助。
输出
A = 2,
M = 5,
P = 9,
D = 1,
Y = 0,
[2,5]+[9,5]=[1,2,0];
代码
:- use_module(library(clpfd)).
puzzle([A,M] + [P,M] = [D,A,Y]) :-
Vars = [A,P,M,D,Y],
Vars ins 0..9,
all_different(Vars),
A*10 + M + P*10 + M #= D*100 + A*10 + Y,
A #\= 0,P #\= 0, D #\= 0,
label([A,P,M,D,Y]).