SWI-Prolog -- list

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.