4.15 Declaring predicate properties
All Application Manual Name SummaryHelp

Availability:built-in
Source[ISO]multifile :PredicateIndicator, ...
Informs the system that the specified predicate(s) may be defined over more than one file. This stops consult/1 from redefining a predicate when a new definition is found.
ClioPatria (version V3.1.1-51-ga0b30a5)