5.2.5 Predicates to support adapting code for double quoted strings
AllApplicationManualNameSummaryHelp

  • 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
Sourcecheck: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).