SWI-Prolog -- absolute_file

Availability:built-in

absolute_file_name(+File, -Absolute)

Expand a local filename into an absolute path. The absolute path is canonicalised: references to ., .. and repeated directory separators (/) are deleted. This predicate ensures that expanding a filename returns the same absolute path regardless of how the file is addressed. Notably, if a file appears in multiple directories due to symbolic or hard links absolute_file_name/2 returns the same absolute filename. SWI-Prolog uses absolute filenames to register source files independent of the current working directory.

This predicate has a different history than absolute_file_name/3 and should primarily be used to get an absolute canonical name from a relative name. If File is a term Alias(Relative) is behaviour is defined as below, i.e., if an accessible file can be found using the provided search path this is returned. Otherwise it returns the the expansion of the alias path.^{157The
SICStus implementation behaves as absolute_file_name/3
with an empty option list.} Users are advised to use absolute_file_name/3 with appropriate options for resolving an Alias(Relative) term.

absolute_file_name(Spec, AbsFile) :-
    absolute_file_name(Spec, File, [access(read), file_errors(fail)]),
    !,
    AbsFile = File.
absolute_file_name(Spec, AbsFile) :-
    absolute_file_name(Spec, AbsFile, []).