Prolog语言中的冒泡排序

Question

我必须实现冒泡排序功能（排序算法）。

我已经实现了bubblesort和swap，一个帮助功能bubblesort：

swap([X,Y|T1],[Y,X|T1]):-(Y<X,!).
swap([X|T1],[X|T2]):- swap(T1,T2).

bubblesort([],[]) :- !.
bubblesort(T1,T2) :- (bubblesort(swap(T1,T2),T2)).

我得到一个无限循环。我必须保留函数的签名：

冒泡排序(T1,T2)

我在这个问题上纠结了2个小时。有谁知道我该怎么做？

Answer 1

直到交换过程没有变化为止，继续交换。如果交换没有变化，那么您已经对列表进行了排序。

bubblesort ( List, SortedList) :-
    swap ( List, List1 ), ! ,
    bubblesort ( List1, SortedList) .
bubblesort ( List, List).

swap ( [ X, Y | Rest ], [ Y, X | Rest ] ) :-
    X > Y, ! .
swap ( [ Z | Rest ], [ Z | Rest1 ] ) : -
    swap (Rest, Rest1 ).