source_file_1Version: v13.0.1On this pagesource_file/1 Description source_file/1 is a predicate which unifies the given term with the source file that is currently loaded. Signature source_file(?File) is det where: File represents the loaded source file.