Strange message for time/1

Help!
1

Recently I got a strange message for time/1. As far as help(time) tells, it seems no change has been made for time/1. What am I missing ? Thanks.

% swipl
Welcome to SWI-Prolog (threaded, 64 bits, version 8.5.0-63-gd3fce8fd7-DIRTY)
SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.
Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org
For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- time(a=a).
% Unknown message: time(2,4.000000000004e-6,6.9141387939453125e-6,500000)
true.

Kuniaki Mukai

3

Thanks for quick advice.
I run SWIPL on MacOS Big Sur (11.6), not on Windows 10, via swipl-devel git almost daily. For the time being, I will just wait hoping it will be fixed soon.

5

The way time/1 emits its output is via a call to print_message/2 such as print_message(information, time(Inferences, Time, Wall, Lips)), so it seems that the hook message//1 that is supposed to transform the time/4 term into the natural language message you are used to fails for some reason…

6

Yip. I made a mistake adding the internationalization support that disabled library extensions using prolog:message//1. Pushed a fix.

7

Thanks for quick fix.

% swipl

Welcome to SWI-Prolog (threaded, 64 bits, version 8.5.0-69-gad38e8ad8-DIRTY)

SWI-Prolog comes with ABSOLUTELY NO WARRANTY. This is free software.

Please run ?- license. for legal details.

For online help and background, visit https://www.swi-prolog.org

For built-in help, use ?- help(Topic). or ?- apropos(Word).

?- time(a=a).

% 2 inferences, 0.000 CPU in 0.000 seconds (62% CPU, 400000 Lips)

true.