ord_add_list( [], New, New ). ord_add_list( [H|T], Set, New ) :- ord_add_element( Set, H, Next ), ord_add_list( T, Next, New ).