Hej,
mam pewien problem z prologiem. Przeddstawie to na prostym przykladzie. Dla tego kodu:

ListaPol = [A, B, C, D, E, F, G, H, I, J, K, L, M, N],
A+B #= 1, A+B+C+D #= 2, D #= 1,
D+E+I #= 3, D+E+F+G+H+I #= 4, I #= 1,
I+H+J #= 3, J #= 1, J+K #= 1,
J+K+L+M+N #= 2, M+N #= 1,
ListaPol in 0..1,
label(ListaPol).

wyskakuje mi blad w prologu:

ERROR: Type error: integer' expected, found [_G44000, _G44003, _G44006, _G44009, _G44012, _G44015, _G44018, _G44021, _G44024, _G44027, _G44030, _G44033, _G44036, _G44039]'
?-

Okej - rozumiem tresc bledu, ze program oczekiwal na dane typu integer a otrzymal same zmienne, nie mniej po to jest dalsza czesc programu, aby on sam mogl sobie z tym poradzic. Rozumiem, ze w niektorych przypadkach nie wyjdzie ani 0 ani 1 - czy jest jakis sposob, aby prolog obsluzyl ten problem w jakis sposob?

Zagadnienie jest mi na tyle potrzebne, ze probuje napisac saperowy solver, niestety utknalem juz na samym poczatku i w sumie nie wiem jak przez to przeskoczyc.

Z gory dziekuje za rady.