source_file/1

Description

source_file/1 is a predicate that unify the given term with the currently loaded source file.

The signature is as follows:

source_file(?File).

Where:

• File represents a loaded source file.

Examples

# Query all the loaded source files, in alphanumeric order.
- source_file(File).

# Query the given source file is loaded.
- source_file('foo.pl').