Did you know ... Search Documentation:
library(prologcoverage)

F.2.36 library(prologcoverage)

cov_load_data/2Reload coverage data from File.
cov_property/1True when coverage analysis satisfies Property.
cov_reset/0Discard all collected coverage data.
cov_save_data/2Save the coverage information to File.
coverage/1As call(Goal), collecting coverage information while Goal is running.
coverage/2Collect and optionally report coverage by Goal.
report_hook/2This hook is called after the data collection.
show_coverage/1Show collected coverage data.

Tags are associated to your profile if you are logged in
Tags: