multifile(+predicate_indicator) [ISO]

With the compile directive multifile/1 it is possible to specify that clauses for each user-defined procedure indicated by the predicate indicator, list of predicate indicators or predicate indicator sequence, may have clauses in more than one Prolog text. More than one directive multifile/1 may specify a user-defined procedure to be multifile. In each Prolog text that contains the clauses of the multifile user-defined procedure the clauses must be have been specfied by using multifile/1.

see also: check_singleton/1 discontiguous/1 dynamic/1 dynamic/2 ensure_loaded/1 import/1 import/2 import_module/1 import_module/2 include/1 initialization/1 not_redo/1 predicate indicators private/0 private/1 public/0 public/1

Examples
multifile( test / 0 ). all predicates with the functor 'test' and no arguments are made multifile
multifile([legs / 2, insect / 2, product / 1]). the predicates legs/2, insect/2 and product/1 are made multifile

 

 

info@trinc-prolog.com