Toggle navigation
?
users online
Logout
Open hangout
Open chat for current file
a(L,[H|R]):-nth0(X,R,H),H>=X,a(L,R);length(R,N),nth0(X,L,H),H>=N+X,a(L,R). a(_,[]). /** <examples> ?- a([1],[1]), a([8, 9],[8, 9]), a([2, 3, 4],[2, 3, 4]), a([5, 5, 3, 3, 6],[5, 5, 3, 3, 6]), a([2, 3, 5, 2, 3, 6],[2, 3, 5, 2, 3, 6]), a([6, 7, 3, 5, 3, 7],[6, 7, 3, 5, 3, 7]), a([9, 4, 6, 7, 4, 5],[9, 4, 6, 7, 4, 5]), a([1, 1, 1, 1, 1, 100, 1],[1, 1, 1, 1, 1, 100, 1]), a([1, 9, 1, 8, 1, 7, 1, 11],[1, 9, 1, 8, 1, 7, 1, 11]). ?- a([1, 2, 3],[1, 2, 3]); a([2, 3, 9, 5],[2, 3, 9, 5]); a([3, 5, 4, 4, 6],[3, 5, 4, 4, 6]); a([2, 3, 5, 2, 3, 4],[2, 3, 5, 2, 3, 4]); a([3, 5, 7, 5, 9, 3, 7],[3, 5, 7, 5, 9, 3, 7]); a([5, 6, 7, 8, 9, 10, 11],[5, 6, 7, 8, 9, 10, 11]); a([1, 9, 1, 8, 1, 6, 1, 11],[1, 9, 1, 8, 1, 6, 1, 11]). */