Home > Archive > Prolog > July 2006 > problem with ' statistics' in Swi-Prolog
You are viewing an archived Text-only version of the thread.
To view this thread in it's original format and/or if you want to reply to
this thread please [click here]
| Author |
problem with ' statistics' in Swi-Prolog
|
|
|
| Hello to all, I would want to use 'statistics(walltime, [T, _ ])'
of SICStus Prolog in Swi Prolog but Swi Prolog does not
recognize the word key ' walltime'.
How I can make?
| |
| Advait 2006-07-18, 7:00 pm |
| Hi
Mika wrote:
> Hello to all, I would want to use 'statistics(walltime, [T, _ ])'
> of SICStus Prolog in Swi Prolog but Swi Prolog does not
> recognize the word key ' walltime'.
> How I can make?
In swi-prolog,
| ?- statistics(cputime,X).
Where X is the time in seconds, since Prolog was started (X is float).
yours
Advait
| |
| Bart Demoen 2006-07-19, 3:59 am |
| Advait wrote:
> Hi
>
> Mika wrote:
>
>
>
>
> In swi-prolog,
> | ?- statistics(cputime,X).
>
> Where X is the time in seconds, since Prolog was started (X is float).
You need SWI's real_time for walltime.
cputime is just cputime which usually is different from the time on your wall clock.
Do
?- help(statistics).
Cheers
Bart Demoen
|
|
|
|
|