/***********************************************************************
	sort_cont(Xs,Ys) :- 
        The container Ys is an ordered permutation of the container Xs.
    
        variant body section part of body section container_access
        realizing sort_cont/2 by standard predicate keysort/2
***********************************************************************/
:- tap_body(container_access,[container_lib, container_access]).


:- import_pred(prolog_misc, keysort/2).

% declaration of sort_cont/2 is in containter_lib.pl
	sort_cont(Xs,Ys) :- keysort(Xs,Ys).       % use SICStus Prolog



:- tap_body_end(container_access).