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.