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

Merge pull request #1131 from triska/cpu_time

Browse Source 
walltime --> CPU time
This commit is contained in:
Mark Thom
2021-12-07 20:30:00 -07:00
committed by GitHub
parent 8065889862 cb6309d370
commit 2eae6b4be7
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)),