- Documentation
- Reference manual
- The SWI-Prolog library
- library(check): Consistency checking
- check/0
- list_undefined/0
- list_undefined/1
- list_autoload/0
- list_redefined/0
- list_cross_module_calls/0
- list_void_declarations/0
- list_trivial_fails/0
- list_trivial_fails/1
- trivial_fail_goal/1
- list_strings/0
- list_strings/1
- list_rationals/0
- list_rationals/1
- list_format_errors/0
- list_format_errors/1
- string_predicate/1
- valid_string_goal/1
- checker/2
- library(check): Consistency checking
- The SWI-Prolog library
- Packages
- Reference manual
double_quotes
from codes
to string
,
creating packed string objects. Warnings may be suppressed using the
following multifile hooks:
- string_predicate/1 to stop checking certain predicates
- valid_string_goal/1 to tell the checker that a goal is safe.
- See also
- Prolog flag
double_quotes
.