Did you know ... Search Documentation:
Predicate consult/1
Availability:built-in
Sourceconsult(:File)
Read File as a Prolog source file. Calls to consult/1 may be abbreviated by just typing a number of filenames in a list. Examples:

?- consult(load). % consult load or load.pl
?- [library(lists)]. % load library lists
?- [user]. % Type program on the terminal

The predicate consult/1 is equivalent to load_files(File, []), except for handling the special file user, which reads clauses from the terminal. See also the stream(Input) option of load_files/2. Abbreviation using ?- [file1,file2]. does not work for the empty list ([]). This facility is implemented by defining the list as a predicate. Applications may only rely on using the list abbreviation at the Prolog toplevel and in directives.

Tag confusing pages with doc-needs-help|Tags are associated to your profile if you are logged in|Report abuse
Tags:
  • [likes].
LogicalCaptain said (2020-03-10T08:30:10):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

You can actually also pass a series of files:

?- consult([foo,roo]).

If you use

[user].

The code entered will be added to the special "user" module. See: Reserved Modules and using the‘user' module

Edge case

If there are files "roo", "foo", "foo.pl" and "foo.pl.pl"

Then

[foo].

loads "foo.pl"

['foo.pl'].

or

["foo.pl"].

also load "foo.pl"

['foo.pl.pl'].

loads "foo.pl.pl"

Loading file "foo" is not possible, but

[roo].

still loads "roo"

It is only the suffix ".pl" which is processed this way. If the suffix is not ".pl", you cannot leave the suffix out in the argument to consult. This is relevant for files containing plunit unit test code, which are supposed to end in '.plt'.

Loading unit test files

At plunit), we read:

"Test-units can be embedded in normal Prolog source-files. Alternatively, tests for a source-file can be placed in another file alongside the file to be tested. Test files use the extension .plt. The predicate load_test_files/1 can load all files that are related to source-files loaded into the current project."

There is no direct support for files ending in .plt via [consult], you have to write

?- ['foo.plt']