conct([],L,L). conct(L,[],L). conct([A|B],[C|D],[A|L]):- A < C, conct(B,[C|D],L). conct([A|B],[C|D],[C|L]):- C=< A, conct([A|B],D,L).