Next: mpg-ref-mutable, Previous: mpg-ref-module, Up: mpg-bpr [Contents][Index]
:- multifile +PredSpecs
Declares the clauses of the predicates defined by PredSpecs to be multifile in the source file (suppresses compile-time warnings).
pred_spec_forest, must be ground
A predicate specification, or a list of such, or a sequence of such separated by commas.
By default, all clauses for a predicate are expected to come from just
one file. This assists with reloading and debugging of code.
Declaring a predicate
multifile means that its clauses can be
spread across several different files. This is independent of whether
or not the predicate is declared
Should precede all the clauses for the specified predicates in the file.
There should be a
multifile declaration for a predicate P
in every file that contains clauses for P.
multifile predicate is dynamic, then there should be a
declaration in every file containing clauses for the predicate.
When a file containing clauses for a
multifile predicate (P) is
reloaded, the clauses for P that previously came from that file are
removed. Then the new clauses for P (which may be the same as the old
ones) are added to the end of the definition of the
multifile declaration is found for a predicate that has already been
defined in another file (without a
multifile declaration), then this is
considered to be a redefinition of that predicate. Normally this will result
in a multiple-definition style-check warning (see
source_file/2 can be used to find all the files containing
clauses for a
multifile is not an ISO predefined prefix operator.
Exceptions in the context of loading code are printed as error messages.
PredSpecs not ground.
PredSpecs not a valid pred_spec_forest.
Some arity is an integer < 0.
Some arity is an integer > 255.
Declaration appeared in a goal.
Declaration appeared as a clause.