|Did you know ...||Search Documentation:|
date(Y,M,D,H,M,S,O,TZ,DST)or a term
fcan be prefixed by an integer to print the desired number of digits. E.g.,
%3fprints milliseconds. This format is not covered by any standard, but available with different format specifiers in various incarnations of the strftime() function.
pmin lower case.
'%a, %d %b %Y %T %z'). Our implementation supports
%:z, which modifies the output to HH:mm as required by XML-Schema. Note that both notations are valid in ISO 8601. The sequence
%:zis compatible to the GNU date(1) command.
The table below gives some format strings for popular time
representations. RFC1123 is used by HTTP. The full implementation of
as available from
library(http/http_header) is here.
http_timestamp(Time, Atom) :- stamp_date_time(Time, Date, 'UTC'), format_time(atom(Atom), '%a, %d %b %Y %T GMT', Date, posix).