constrain([_]).
constrain([A|[B|L]]):-
	B #> A,
	constrain([B|L]).

sorted(N, L):-
	length(L, N),
	L :: 1..N,
	constrain(L).

% Goal:
% :- sorted(100, L).