[ library(util) | Reference Manual | Alphabetic Index ]

time(+Goal)

Run Goal to first solution, and print timings
Goal
A callable term

Description

Call the goal Goal (as with once/1), and print the timings after the goal has succeeded or failed. The four times printed are:

        - thread cputime (of the calling thread only)
        - process cputime user (all threads)
        - process cputime system (all threads)
        - real time
Note that for multithreaded programs, the total process cputime can be higher than the elapsed real time, because all the threads' cputimes add up.

Modes and Determinism

Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

Examples

    ?- time( for(_,1,1000000) do true ).

    Success, times: 1.0222s thread, 1.0200+0.0000s process, 1.03s real