Algorytm = Logika + Sterowanie

Jak to rozwiązać? W Prologu!

Wziąłem do ręki książkę G. Pólyi “Jak to rozwiązać?” i przypadkiem otworzyłem na stronie z następującym zadaniem:

W papierach dziadka znaleziono rachunek:

72 indyki $-67,9-

Pierwsza i ostatnia cyfra liczby przedstawiającej niewątpliwie ogólny koszt indyków, zastąpione są tu kreską, gdyż na rachunku wyblakły i stały się nieczytelne.

Jakie cyfry wyblakły i jaka była cena jednego indyka?


Uruchomiłem GNU-Prolog i wpisałem następujące pytanie:

| ?- fd_domain([A, B], 0, 9), 72*X #= A*10000+6000+700+90+B.

A = 3
B = 2
X = 511

yes


i już wiem, że indyki kosztowały po $5,11 za sztukę a wyblakłe cyfry to 3 i 2.

Chociaż George Pólya raczej nie tak wyobrażał sobie rozwiązywanie zadań...