prolog::convert_time/2

convert_time(+Stamp, -String)%% Convert a time-stamp as obtained though get_time//11 into a textual% representation using the C-library function ctime(). The value is% returned as a SWI-Prolog string object (see section 4.23). See% also convert_time//88.%%

(undocumented)

Private-func:

1. prolog::convert_time_2::convert_time/2(int ARG1, int ARG2)():