Доброго всем времени суток, столкнулся с такой проблемой необходимо соединить 2 списка, и отсортировать получившийся список. написал несколько предикатов для сортировки, но не могу передать в него предикат который делает объединение 2 списков. Код | domains ilist=integer* predicates insort(ilist,ilist). order(integer,integer). insortx(integer,ilist,ilist). append(ilist,ilist,ilist). clauses insort([], []).
insort([X|L], M) :- insort(L, N), insortx(X, N, M).
insortx(X, [A|L], [A|M]) :- order(A, X), !, insortx(X, L, M).
insortx(X, L, [X|L]).
order(X, Y) :- X <= Y. append([], L, L). append([X|L1], L2, [X|L3]):- append(L1, L2, L3).
|
так вот вопрос, как изменить предикат insort(), так что бы, в него подавались 2 списка, а он их объединял и сортировал .
|