Call Goal as call/1, unifying Time with a dict that provides
information on the resource usage. Currently Time contains the
keys below. Future versions may provide additional keys.
wall:Seconds
cpu:Seconds
inferences:Count
Arguments:
Result
- is one of true or false depending on whether or not
the goal succeeded.