Information about loaded files and the predicates and clauses in them
is returned by source_file/[1,2]. source_file/1 can be
used to identify an absolute filename as loaded, or to backtrack
through all loaded files. To find out the correlation between loaded
files and predicates, call source_file/2.