Matematické Fórum

Ahoj, asi je to hloupý dotaz, ale už si s tím lámu hlavu delší dobu. Napsal jsem program, který pro dvě nádoby zjistí, zda lze přeléváním dosáhnout objemu X. Jenže Prolog odpoví kladně, i když je X větší, než obě nádoby.

Program:
prel(A,B,X):- prel(A,S,B,T,X). % pro dvě nádoby o objemu A a B, aktuálním objemu S a T a cílovém stavu X
:- S is 0, T is 0, I is 0. % začínáme s prázdnými nádobami, I označuje iteraci posloupnosti stavů
prel(A,S,B,T,S). % v první nádobě máme cílový stav
prel(A,S,B,T,T). % ve druhé nádobě máme cílový stav

% přeléváme vždy z první nádoby do druhé:
prel(A,S,B,T,X):- S == 0, S is A. % je-li první nádoba prázdná, naplníme ji
prel(A,S,B,T,X):- B == T, T is 0. % je-li druhá nádoba plná, vyprázdníme ji
prel(A,S,B,T,X):- S == A, T == 0, I is I+1. % projdeme-li podruhé počátečním stavem, posloupnost stavů se bude opakovat (druhá iterace)
prel(A,S,B,T,X):- I =< 1, S =< B-T, T is T+S, S is 0. % z první nádoby lze přelít vše do druhé,
prel(A,S,B,T,X):- I =< 1, S > B-T, S is S-B+T, T is B. % nebo přelijeme co se vejde


V čem je chyba?