mu-Prolog
1 program
Added 2026-03-17T10:05:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: disabled
Evidence
Report issue
View issues
Aliases: MU-Prolog, Mu-Prolog
Provenance: commit 27f25dda93 · authored 2026-03-17T03:28:20+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Quicksort
Provenance: commit 27f25dda93 · authored 2026-03-17T03:28:20+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch disabled
qsort([], []).
qsort([H|T], Sorted) :-
partition(H, T, Less, Greater),
qsort(Less, SortedLess),
qsort(Greater, SortedGreater),
append(SortedLess, [H|SortedGreater], Sorted).
partition(_, [], [], []).
partition(Pivot, [H|T], [H|Less], Greater) :-
H =< Pivot, !,
partition(Pivot, T, Less, Greater).
partition(Pivot, [H|T], Less, [H|Greater]) :-
partition(Pivot, T, Less, Greater).
append([], L, L).
append([H|T], L, [H|R]) :- append(T, L, R).
:- qsort([3, 1, 4, 1, 5, 9, 2, 6, 5, 3], S), write(S), nl.