Skip to content


Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
branch: master
Fetching contributors…

Cannot retrieve contributors at this time

18 lines (13 sloc) 0.443 kb
:- public([clock/2]).
clock(S,_) :- var(S), statistics(runtime,[S1,_]),
S is S1 / 100, !.
clock(S,T) :- var(T),nonvar(S),
T2 is T1 / 100,
T3 is (T2 - S),
((T3 = 0, T = 1);
T = T3),!.
/* this predicate is in this file because it does not seem to
compile properly. Clock must be interpreted as well. */
:- op(100,fx,c).
c(X) :- makename(X,'.pl',Y),compile(Y).
Jump to Line
Something went wrong with that request. Please try again.