Posix time formatting is offset by locale

[Boris]

@j4n_bur53

?- format_time(atom(X), '%a, %d %b %Y %H:%M:%S', 1725548701.0, posix).
X = 'Thu, 05 Sep 2024 17:05:01'.

?- parse_time('Thu, 05 Sep 2024 17:05:01', X).
X = 1725555901.0.

There is no timezone info in this text?

This works:

?- format_time(atom(X), '%a, %d %b %Y %T %z', 1725548701.0),
   parse_time(X, Format, T).
X = 'Thu, 05 Sep 2024 18:05:01 +0300',
Format = rfc_1123,
T = 1725548701.0.

But of course this does have the timezone info in the parsed string, right?