Call Goal as call/1, unifying Time with a dict that provides
information on the resource usage. If Goal succeeds with a choice
point, backtracking reports the time used to find the next answer,
failure or exception. If Goal succeeds deterministically no choice
point is left open. Currently Time contains the keys below. Future
versions may provide additional keys.
call_time/2 is defined as below. Note that for call_time/2 the time
is only available if Goal succeeds.
call_time(Goal, Time) :-
call_time(Goal, Time, Result),
|Result||- is one of |
throw(E), depending on
whether or not the goal succeeded or raised an exception. Note that
Result may be called using call/1 to propagate the failure or