
time(+Goal)

   Run Goal to first solution, and print timings

Arguments
   Goal                A callable term

Type
   library(util)

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
   time(+) is semidet

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
    


