Unifies Value with the time spent in evaluate Goal, using the type of time Option.
- Calls should, and exit will be compatible with:
(atom/1)Option is currently instantiated to an atom.
(callable/1)Goal is a term which represents a goal, i.e., an atom or a structure.
- The following properties hold upon exit:
(num/1)Value is a number.
with arguments: measure(?,goal,?)