A.7 library(check): Consistency checking
All Application Manual Name SummaryHelp

Availability::- use_module(library(check)).
Source[multifile]string_predicate(:PredicateIndicator)
Multifile hook to disable list_strings/0 on the given predicate. This is typically used for facts that store strings.
ClioPatria (version V3.1.1-51-ga0b30a5)