This library provides some consistency checks for the loaded Prolog program. The predicate make/0 runs list_undefined/0 to find undefined predicates in‘user' modules.
[user]. For example, to include the libraries into the
examination, use [user,library].
user
as well as in a normal module; that is, predicates for which the local
definition overrules the global default definition.[user]. For example, to include the libraries into the
examination, use [user,library].
double_quotes from codes to string,
creating packed string objects. Warnings may be suppressed using the
following multifile hooks:
rational_syntax to natural, creating rational
numbers from
<integer>/<nonneg>. Options:
true (default false) also warn on rationals
appearing in arithmetic expressions.
format("Hello world~n") is considered proper
use of string constants.my_checks
module defines a predicate list_format_mistakes/0:
:- multifile check:checker/2.
check:checker(my_checks:list_format_mistakes,
"errors with format/2 arguments").
The predicate is dynamic, so you can disable checks with retract/1. For example, to stop reporting redefined predicates:
retract(check:checker(list_redefined,_)).