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)