source_file/[1,2]source_file(?AbsFile)
source_file(?Pred, ?AbsFile)
AbsFile is the absolute name of a loaded file, and Pred is a predicate with clauses in that file.
Selected predicate specification.
Absolute filename.
Loaded files include compiled, consulted, restored, PO loaded and pre-linked files.
If AbsFile is bound and not the name of a loaded file, or if
Pred is bound and not the name of a a loaded predicate, then
source_file(AbsFile) simply fails.
To find any predicates defined in a given file, use the form:
source_file(M:P, File)