














May 1983
%   Purpo
Ordered set ma
lation uti
es

% 
 t








































































































































































































































































































































































































































































































































































57", "34568", "12233455678").  Study this
%   routine carefully, as it is the basis for all the rest.

merge([Head1|Tail1], [Head2|Tail2], [Head2|Merged]) :-
	Head1 @> Head2, !,
	merge([Head1|Tail1], Tail2, Merged).
merg



























































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































































