SWI-Prolog -- coverage/1

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(prolog_coverage): Coverage analysis tool
      - Predicate reference
        
        coverage/1
        
        coverage/2
        
        show_coverage/1
        
        report_hook/2
        
        cov_save_data/2
        
        cov_load_data/2
        
        cov_reset/0
        
        cov_property/1
- Packages

Availability::- use_module(library(prolog_coverage)).(can be autoloaded)

coverage(:Goal)

As call(Goal), collecting coverage information while Goal is running. If Goal succeeds with a choice point, coverage collection is suspended and resumed if we backtrack into Goal. Calls to coverage/1 may be nested.