prolog::convert_time/8¶

convert_time(+Stamp, -Y, -Mon, -Day, -Hour, -Min, -Sec, -MilliSec)%% Convert a time stamp, provided by get_time//11, time_file//22,% etc. Year is unified with the year, Month with the month number% (January is 1), Day with the day of the month (starting with 1),% Hour with the hour of the day (023), Minute with the minute% (059). Second with the second (059) and MilliSecond with the% milliseconds (0999). Note that the latter might not be accurate% or might always be 0, depending on the timing capabilities of the% system. See also convert_time//22.%%

(undocumented)

Private-func:¶

1. prolog::convert_time_8::convert_time/8(int ARG1, int ARG2, int ARG3, int ARG4, int ARG5, int ARG6, int ARG7, int ARG8)():