:- use_module(library(lists)).


bejar(Korl,1,1,[1]):- Korl>=1.
bejar(Korl,X,Y,[Y|L]):-
                      Korl>=0,
		      Korl1 is Korl-Y,
		      Y>1,
                      Y1 is Y-1,
		      bejar(Korl1,X,Y1,L).
bejar(Korl,X,Y,[Y|L]):- 
                      Korl>=0,
		      Korl1 is Korl-Y,
		      X>1, 
                      X1 is X-1,
		      bejar(Korl1,X1,Y,L).

		      		      
bejar(N,K):- bejar(K,N,N,L), write(L), nl, fail.


start(N,K):- tell('out.txt'), \+bejar(N,K), told.
