4.15 Declaring predicate properties
AllApplicationManualNameSummaryHelp

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-21-gb8003bb)