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

Merge branch 'master' of https://github.com/mthom/rusty-wam

Browse Source
This commit is contained in:
Mark Thom
2020-04-19 16:43:32 -06:00
parent 8ce377d033 eef25ec638
commit 9ba37a932b
1 changed files with 13 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
src/prolog/lib/time.pl
View File

@@ -16,7 +16,13 @@
time(Goal) :- time(Goal) :-
'$cpu_now'(T0), '$cpu_now'(T0),
Goal, setup_call_cleanup(true,
( Goal,
report_time(T0)
),
report_time(T0)).
report_time(T0) :-
'$cpu_now'(T), '$cpu_now'(T),
Time is T - T0, Time is T - T0,
( bb_get('$first_answer', true) -> ( bb_get('$first_answer', true) ->
@@ -28,7 +34,8 @@ time(Goal) :-
?- time((true;false)). ?- time((true;false)).
% CPU time: 0.000 seconds % CPU time: 0.000 seconds
true true
; false. ; % CPU time: 0.001 seconds
false.
:- time(use_module(library(clpz))). :- time(use_module(library(clpz))).
% CPU time: 2.762 seconds % CPU time: 2.762 seconds
@@ -38,7 +45,8 @@ time(Goal) :-
:- time(use_module(library(lists))). :- time(use_module(library(lists))).
% CPU time: 0.000 seconds % CPU time: 0.000 seconds
true true
; false. ; % CPU time: 0.001 seconds
false.
?- time(member(X, [a,b,c])). ?- time(member(X, [a,b,c])).
% CPU time: 0.000 seconds % CPU time: 0.000 seconds
@@ -47,5 +55,6 @@ time(Goal) :-
X = b X = b
; % CPU time: 0.004 seconds ; % CPU time: 0.004 seconds
X = c X = c
; false. ; % CPU time: 0.007 seconds
false.
- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */ - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - */