프롤로그에서 가능한 많은 솔루션 중 하나 얻기

Question

나는 프롤로그를 배우려고하고있다. 나는이 스크립트를 바라 보았다 :

:- use_module(library(clpfd)). 
puzzle([S,E,N,D] + [M,O,R,E] = [M,O,N,E,Y]) :- 
    Vars = [S,E,N,D,M,O,R,Y], 
    Vars ins 0..9, 
    all_different(Vars), 
    S*1000 + E*100 + N*10 + D + M*1000 + O*100 + R*10 + E #= M*10000 + O*1000 + N*100 + E*10 + Y, 
    M #\= 0, 
    S #\= 0. 

출처 : https://github.com/Anniepoo/prolog-examples/blob/master/sendmoremoney.pl

내가 지금처럼 실행하고 약간의 출력을 얻을 : 나에게 가능한 값의 범위를주고있다 그것은처럼 보이는

$ swipl -q -s sendmoremoney.pl 
?- puzzle(X). 
X = ([9, _G2009, _G2012, _G2015]+[1, 0, _G2024, _G2009]=[1, 0, _G2012, _G2009, _G2042]), 
_G2009 in 4..7, 
all_different([9, _G2009, _G2012, _G2015, 1, 0, _G2024, _G2042]), 
91*_G2009+_G2015+10*_G2024#=90*_G2012+_G2042, 
_G2012 in 5..8, 
_G2015 in 2..8, 
_G2024 in 2..8, 
_G2042 in 2..8. 

각 편지. 그러나 각 문자가 가능한 값 중 하나에 할당되는 단일 솔루션을 얻으려면 어떻게해야합니까? 아주 기본적인 질문처럼 보이지만, 나는 그것을 이해할 수 없습니다.

Answer 1

좋아,이게 clpfd 질문과 같은 Prolog 질문이 아닌 것처럼 보입니다.

?- puzzle(As + Bs = Cs), label(As). 
As = [9, 5, 6, 7], 
Bs = [1, 0, 8, 5], 
Cs = [1, 0, 6, 5, 2] ; 
false. 

여기에 내 대답을 찾았 http://www.swi-prolog.org/man/clpfd.html