將X插入排序列表中的正確位置

Question

在序言中，如何將X插入到排序列表中的正確位置？

我嘗試：

insert(X,[Y|Rest],[X,Y|Rest]):- 
X @< Y; 
insert(X,Rest,BiggerRest). 

Answer 1

你在正確的軌道上，但是您需要這三種情況。

insert(X, [], [X]). 
insert(X, [Y|Rest], [X,Y|Rest]) :- 
    X @< Y, !. 
insert(X, [Y|Rest0], [Y|Rest]) :- 
    insert(X, Rest0, Rest).