|
|
Usage:
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.
Example:
?- chronometer(_), do_something, chronometer(T), write(T).
do_something.
This example returns the time in milliseconds in which the do_something predicate was working.
Examples:
