it would be nice to have use_module(library(time)) esp. current_time/1

[josd]

It would be nice to have use_module(library(time)) esp. current_time/1 like in Scryer 🙏
I know that date_time/6 and date_time/7 exist in Trealla, but it would be just nice to have portable libraries😊

[infradig]

Looks like that library does a lot of heavy lifting for what should be simple/fast calls.

[josd]

Fair enough and so will do things like:

$ cat localtime.pl
:- use_module(library(time)).
:- use_module(library(lists)).

local_time(A,B,C,D,E,F) :-
    catch(date_time(A,B,C,D,E,F),_,get_time(A,B,C,D,E,F)).

get_time(A,B,C,D,E,F) :-
    current_time(L),
    maplist(time_get_num,[L,L,L,L,L,L],['Y','m','d','H','M','S'],[A,B,C,D,E,F]).

time_get_num(A,B,C) :-
    memberchk(B=D,A),
    number_chars(C,D).

$ tpl localtime.pl
?- local_time(A,B,C,D,E,F).
   A = 2024, B = 11, C = 28, D = 13, E = 32, F = 48.

$ scryer-prolog localtime.pl
?- local_time(A,B,C,D,E,F).
   A = 2024, B = 11, C = 28, D = 13, E = 32, F = 52.

[josd]

and age checker now works fine

[infradig]

Are the names of months / days localized or is it English everywhere?

?- current_time(L).
   L = ['Y'="2024",m="11",d="27",'H'="08",'M'="41",'S'="51",y="24",b="Nov",'B'="November",a="Wed",'A'="Wednesda ...",w="3",u="3",'U'="47",'W'="48",j="332 ...",'D'="11 ...",x="1 ...",v="27-Nov-2024",finis].

[josd]

dunno but would think that localized is best