SWI-Prolog -- check:string

Documentation
- Reference manual
  - SWI-Prolog extensions
    - The string type and its double quoted syntax
      - Predicates to support adapting code for double quoted strings
        
        list_strings/0
        
        string_predicate/1
        
        valid_string_goal/1
- Packages

check:string_predicate(:PredicateIndicator)

Declare that PredicateIndicator has clauses that contain strings, but that this is safe. For example, if there is a predicate help_info/2 , where the second argument contains a double quoted string that is handled properly by the predicates of the applications’help system, add the following declaration to stop list_strings/0 from complaining:

:- multifile check:string_predicate/1.

check:string_predicate(user:help_info/2).