Concurrent Prolog
1 program
Added 2026-02-11T11:38:45Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: —
Provenance: commit 6986a06e73 · authored 2026-02-11T12:39:24+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/concurrent-prologRelated languages
LLM-contributed programs
Merge Sort
Provenance: commit 6986a06e73 · authored 2026-02-11T12:39:24+01:00 · agent claude-code · model sonnet · WebSearch disabled
merge([], L, L).
merge(L, [], L).
merge([X|Xs], [Y|Ys], [X|Zs]) :- X =< Y, merge(Xs, [Y|Ys], Zs).
merge([X|Xs], [Y|Ys], [Y|Zs]) :- X > Y, merge([X|Xs], Ys, Zs).
split([], [], []).
split([X], [X], []).
split([X,Y|Zs], [X|Xs], [Y|Ys]) :- split(Zs, Xs, Ys).
mergesort([], []).
mergesort([X], [X]).
mergesort(L, SL) :-
split(L, L1, L2),
mergesort(L1, SL1),
mergesort(L2, SL2),
merge(SL1, SL2, SL).Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)