Aller au contenu principal
Version: Next

source_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.