SWI-Prolog -- list

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(check): Consistency checking
- Packages

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

[det]list_strings(+Options)

List strings that appear in clauses. This predicate is used to find portability issues for changing the Prolog flag 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.