chronometer( Time )
Time is chronometer( )
Gets time intervals in milliseconds between two calls of chronometer . If you call twice chronometer predicate then the second time it will return the time which is past between these two calls.
?- chronometer(_), do_something, chronometer(T), write(T).
This example returns the time in milliseconds in which the do_something predicate was working.