Sha256: 019e3a839d1fcba52994072a81654d22015c8f2a0a3bd5006a3362487ff23b7e
Contents?: true
Size: 498 Bytes
Versions: 17
Compression:
Stored size: 498 Bytes
Contents
partition([], _, [], []).
partition([X|Xs], Pivot, Smalls, Bigs) :-
( X @< Pivot ->
Smalls = [X|Rest],
partition(Xs, Pivot, Rest, Bigs)
; Bigs = [X|Rest],
partition(Xs, Pivot, Smalls, Rest)
).
quicksort([]) --> [].
quicksort([X|Xs]) -->
{ partition(Xs, X, Smaller, Bigger) },
quicksort(Smaller), [X], quicksort(Bigger).
perfect(N) :-
between(1, inf, N), U is N // 2,
findall(D, (between(1,U,D), N mod D =:= 0), Ds),
sumlist(Ds, N).
Version data entries
17 entries across 17 versions & 1 rubygems