From: Markus Triska Date: Sat, 4 Dec 2021 23:56:16 +0000 (+0100) Subject: walltime --> CPU time X-Git-Tag: v0.9.0~9^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=cb6309d370b3d68030fb651fdaaf8cd524e20234;p=scryer-prolog.git walltime --> CPU time --- diff --git a/src/lib/time.pl b/src/lib/time.pl index 1ed3c9d0..6e3aa73d 100644 --- a/src/lib/time.pl +++ b/src/lib/time.pl @@ -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. This library provides predicates for reasoning about time. @@ -109,7 +109,7 @@ time(Goal) :- time_true(ID) :- report_time(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, _)), '$cpu_now'(T0), asserta(time_state(ID, T0)),