Prolog 中的选择排序

我是 Prolog 的新手，我正在尝试进行选择排序。这是我所拥有的：

ssort([],[]).
ssort([M|S],L):-min(M,L),remove(M,L,N),ssort(S,N).

min(M,[M]).
min(M,[H,T]):-min(N,T),min2(M,H,N).

min2(A,A,B):-less(A,B).
min2(B,A,B):-not(less(A,B)).

less(A,B):-(A<B).

append([],B,B).
append([H|A],B,[H|AB]):-append(A,B,AB).

remove(X,L,N):-append(A,[X|B],L),append(A,B,N).

但是当我尝试这个时：

ssort(S,[5,3,1]),write(S).

I get false，无论我尝试什么。你能告诉我如何对列表进行实际排序并将结果写入S?

这是一种至少可以定位程序中错误的通用方法。如果您的查询失败，只需从您的计划中删除目标即可。如果剩余的片段仍然失败，则该片段中一定存在错误。

:- op(950,fy,*).
*_.

ssort(_/*[]*/,[]).
ssort(_/*[M|S]*/,L):-
   min(_/*M*/,L),
   * remove(M,L,N),
   * ssort(S,N).

min(M,[M]).
min(M,[H,T]):-
   * min(N,T),
   * min2(M,H,N).

?- ssort(S,[5,3,1]).
  

因为这个片段失败了，所以你原来的程序也会失败。你需要在剩下的部分中概括一些东西。