ソートされたリストの正しい位置にXを挿入

Question

プロローグでソートされたリストの正しい位置にXを挿入するにはどうすればよいですか？

私の試み：

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

Answer 1

あなたは正しい軌道に乗っているが、あなたは、この3例を作成する必要があります。

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