source_file/3¶

source_file(:Pred,?File )*

SWI-compatible predicate. True if the predicate specified by Pred was loaded from file File, where File is an absolute path name (see absolute_file_name//22).