- report_hook(+Succeeded, +Failed) is semidet[multifile, library(prolog_coverage)]
- This hook is called after the data collection. It is passed a list
of objects that have succeeded as well as a list of objects that
have failed. The objects are one of
- ClauseRef
- The specified clause
- call_site(ClauseRef, PC)
- A call was make in ClauseRef at the given program counter.