Did you know ... Search Documentation:
Predicate absolute_file_name/3
Availability:built-in
Sourceabsolute_file_name(+Spec, -Absolute, +Options)
Convert the given file specification into an absolute path. Spec is a term Alias(Relative) (e.g., (library(lists)), a relative filename or an absolute filename. The primary intention of this predicate is to resolve files specified as Alias(Relative), which use file_search_path/2 to look up the possibilities for Alias. This predicate only returns non-directories, unless the option file_type(directory) is specified or the requested access is none. Supported Options are:
extensions(ListOfExtensions)
List of file extensions to try. Default is exam['']. For each extension, absolute_file_name/3 will first add the extension and then verify the conditions imposed by the other options. If the condition fails, the next extension on the list is tried. Extensions may be specified both as .ext or plain ext.
relative_to(+FileOrDir)
Resolve the path relative to the given directory or the directory holding the given file. Without this option, paths are resolved relative to the working directory (see working_directory/2) or, if Spec is atomic and absolute_file_name/[2,3] is executed in a directive, it uses the current source file as reference.
access(Mode)
Imposes the condition access_file(File, Mode). Mode is one of read, write, append, execute, search, exist or none. See also access_file/2. The default is none which, if file_type is not specified as directory or regular, returns absolute file names that result from expanding aliases without inspecting the actual file system.
file_type(Type)
Defines extensions. Current mapping: txt implies [''], prolog implies ['.pl',’’], executable implies ['.so',’’] and qlf implies ['.qlf',’’]. The Type directory implies [''] and causes this predicate to generate (only) directories. The Type regular is the opposite of directory and is the default if no file type is specified and the effective access mode is none.

The file type source is an alias for prolog for compatibility with SICStus Prolog. See also prolog_file_type/2.

file_errors(fail/error)
If error (default), throw an existence_error exception if the file cannot be found. If fail, stay silent.158Silent operation was the default up to version 3.2.6.
solutions(first/all)
If first (default), the predicate leaves no choice point. Otherwise a choice point will be left and backtracking may yield more solutions.
expand(Boolean)
If true (default is false) and Spec is atomic, call expand_file_name/2 followed by member/2 on Spec before proceeding. This is a SWI-Prolog extension intended to minimise porting effort after SWI-Prolog stopped expanding environment variables and the ~ by default. This option should be considered deprecated. In particular the use of wildcard patterns such as * should be avoided.

The Prolog flag verbose_file_search can be set to true to help debugging Prolog's search for files. See also file_search_path/2.

This predicate is derived from Quintus Prolog. In Quintus Prolog, the argument order was absolute_file_name(+Spec, +Options, -Path). The argument order has been changed for compatibility with ISO and SICStus. The Quintus argument order is still accepted.

Tags are associated to your profile if you are logged in
Tags:
LogicalCaptain said (2021-02-26T19:27:31):0 upvotes 0 0 downvotes
Picture of user LogicalCaptain.

This is a bit of a mixture between fish and fowl

Nothing on the path needs to exist, so in that case it's a purely syntactic operation (no verification against the actual filesystem state is made):

?- absolute_file_name('/a/b/c/d',Abs).
Abs = '/a/b/c/d'.

?- absolute_file_name('/a/b/c/d',Abs,[file_type(prolog)]).
Abs = '/a/b/c/d.pl'.

But if one specifies "directory", as Wouter Beek says, a check is made:

?- absolute_file_name('////usr/local/logic/swipl/bin/../lib/swipl/bin/x86_64-linux/',Abs, [file_type(directory)]).
Abs = '/usr/local/logic/swipl/lib/swipl/bin/x86_64-linux/'.

?- absolute_file_name('////usr/local/logic/swipl/bin/../lib/swipl/bin/x86_64-linux/foo',Abs, [file_type(directory)]).
ERROR: source_sink `'////usr/local/logic/swipl/bin/../lib/swipl/bin/x86_64-linux/foo'' does not exist

?- absolute_file_name('////usr/local/logic/swipl/bin/../lib/swipl/bin/x86_64-linux/swipl',Abs, [file_type(directory)]).
ERROR: directory `'////usr/local/logic/swipl/bin/../lib/swipl/bin/x86_64-linux/swipl'' does not exist (is not a directory)

Somehow this feels lopsided.

Various

Note that this predicate does not resolve symlinks to their actual canonical path.

It also leaves a final '/', even if there is a file there matching the name:

?- absolute_file_name('/usr/local/logic/swipl/bin/../lib/swipl/bin/x86_64-linux/swipl/',Abs).
Abs = '/usr/local/logic/swipl/lib/swipl/bin/x86_64-linux/swipl/'.
Wouter Beek said (2017-10-28T12:36:28):0 upvotes 0 0 downvotes
Picture of user Wouter Beek.

If option file_type(directory) is used the directory denoted by Spec must exist. This is even the case if option access(write) is given at the same time. Example:

?- absolute_file_name(some_dir, Dir, [access(write),file_type(directory)]).
ERROR: source_sink `some_dir' does not exist