Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
:-use_module(library(clpfd)). f([],[],_,_). f([A|B],[M|N],P,D):-A#=M-D-E,A#<P,abs(M,S),T#=S+1,E in 0..T,label([E]),f(B,N,A,D+E). l([],[]). l(A,B):-reverse(Z,B),f([X|Y],Z, X+1, 0),reverse(A,[X|Y]).