START   ENDE  PROLOG  CLP   ECLiPSe  SUCHE   FALLBEISPIEL   ZURÜCK  

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]).