ECLiPSe: FD-Library
Beispiel:
Gibt es eine Zahl, die bei einer Division durch 3 einen Rest von 1,
bei Division durch 4 einen Rest von 2, bei Division durch 5 einen Rest von 3
und bei Division durch 6 einen Rest von 4 ergibt?
(Kordemsky)
|
Lösungansatz
:- lib(fd).
solve(X) :-
X #> 0,
X #= A*3 + 1,
X #= B*4 + 2,
X #= C*5 + 3,
X #= D*6 + 4,
labeling([X,A,B,C,D]).
|
|