Holen Sie sich eine von vielen möglichen Lösungen in Prolog

Question

Ich versuche Prolog zu lernen. Ich sah dieses Skript:

:- 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. 

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

ich es laufen wie so und eine Ausgabe erhalten:

$ 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. 

Es sieht so aus, ist mir eine Reihe möglicher Werte geben für Jeder Brief. Aber wie kann ich eine einzige Lösung erhalten, bei der jeder Buchstabe einem der möglichen Werte zugeordnet ist? Scheint wie eine sehr grundlegende Frage, aber ich kann es nicht herausfinden.

Answer 1

Ok, sieht so aus als wäre das nicht so eine Prolog Frage wie eine clpfd Frage.

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

gefunden meine Antwort hier: http://www.swi-prolog.org/man/clpfd.html