SORT with insertion - back to content

	
		?-sortin([9,3,2 6,1,13],R,<).
		R = [1,2,3,6,9,13]

		?-sortin([9,3,2,6,1,13],R,>).
		R = [13,9,6,3,2,1]

inser(A,[],[A],P). inser(A,[H|L],R,P):- P(A,H),append([A,H],L,R),!. inser(A,[H|L],[H|R],P):- inser(A,L,R,P). sortin([],[],P). sortin([H|L],Re,P):- sortin(L,R,P),inser(H,R,Re,P).