Я пишу алгоритмы сортировки в Прологе и мне нужно проверить, правильно ли работает алгоритм.Так что мне нужно увидеть до и после того, как выглядит список.Например, рассмотрим сортировку перестановок
permutation_sort(L,S) :- permutation(L,S), sorted(S).
sorted([]).
sorted([_]).
sorted([X,Y|ZS]) :- X =< Y, sorted([Y|ZS]).
permutation([],[]).
permutation([X|XS],YS) :- permutation(XS,ZS), select(X,YS,ZS).
Поскольку вывод, который я получаю при попытке permutation_sort([3,2,1,4],s), является словом false, я не знаю, отсортирован ли список / алгоритм работал правильно.
Как я смогу увидеть вывод s в конце?