rishi/scryer-prolog
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

walltime --> CPU time

Browse Source
This commit is contained in:
Markus Triska
2021-12-05 00:56:16 +01:00
parent 8065889862
commit cb6309d370
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/lib/time.pl
View File

@@ -1,5 +1,5 @@
/* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - /* - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
Written 2020 by Markus Triska (triska@metalevel.at) Written 2020, 2021 by Markus Triska (triska@metalevel.at)
Part of Scryer Prolog. Part of Scryer Prolog.
This library provides predicates for reasoning about time. This library provides predicates for reasoning about time.
@@ -109,7 +109,7 @@ time(Goal) :-
time_true(ID) :- time_true(ID) :-
report_time(ID). report_time(ID).
time_true(ID) :- time_true(ID) :-
% on backtracking, update the stored walltime for this ID % on backtracking, update the stored CPU time for this ID
retract(time_state(ID, _)), retract(time_state(ID, _)),
'$cpu_now'(T0), '$cpu_now'(T0),
asserta(time_state(ID, T0)), asserta(time_state(ID, T0)),