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

F.2.7 library(check)

check/0Run all consistency checks defined by checker/2.
checker/2Register code validation routines.
list_autoload/0Report predicates that may be auto-loaded.
list_cross_module_calls/0List calls from one module to another using Module:Goal where the callee is not defined exported, public or multifile, i.e., where the callee should be considered _private_.
list_format_errors/0List argument errors for format/2,3.
list_format_errors/1List argument errors for format/2,3.
list_rationals/0List rational numbers that appear in clauses.
list_rationals/1List rational numbers that appear in clauses.
list_redefined/0Lists predicates that are defined in the global module =user= as well as in a normal module; that is, predicates for which the local definition overrules the global default definition.
list_strings/0List strings that appear in clauses.
list_strings/1List strings that appear in clauses.
list_trivial_fails/0List goals that trivially fail because there is no matching clause.
list_trivial_fails/1List goals that trivially fail because there is no matching clause.
list_undefined/0Report undefined predicates.
list_undefined/1Report undefined predicates.
list_void_declarations/0List predicates that have declared attributes, but no clauses.
string_predicate/1Multifile hook to disable list_strings/0 on the given predicate.
trivial_fail_goal/1Multifile hook that tells list_trivial_fails/0 to accept Goal as valid.
valid_string_goal/1Multifile hook that qualifies Goal as valid for list_strings/0.

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