![]() |
YAP 7.1.0
|
absolute_file_name( -File:atom, +Path:atom, +Options:list) More...
absolute_file_name( -File:atom, +Path:atom, +Options:list)
properties: nondeterministic
Options is a list of options to guide the conversion:
extensions(+ ListOfExtensions)
List of file-name suffixes to add to try adding to the file The Default is the empty suffix, ‘’'` 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 of the list is tried Extensions may be specified both with dot, as .ext
, or without, as plain ext
relative_to(+ FileOrDir )
Resolve the path relative to the given directory or directory the 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/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
, exist
or none
(default)
See also access_file/2
file_type(+ Type )
Defines suffixes matching one of several pre-specified type of files Default mapping is as follows:
txt
implies ‘[ ’' ]`,prolog
implies ‘[’.yap', '.pl', '.prolog', '']`,executable
implies ‘[’.so', ',dylib', '.dll']` depending on the Operating system,qly
implies ‘[’.qly', '']`,directory
implies ‘[’']`,source
is an alias for prolog
designed to support compatibility with SICStus Prolog See also prolog_file_type/2Notice that this predicate only returns non-directories, unless the option file_type(directory)
is specified, or unless access(none)
file_errors(fail
/error
)
If error
(default), throw existence_error
exception if the file cannot be found If fail
, stay silent
solutions(first
/all
)
If first
(default), commit to the first solution Otherwise absolute_file_name will enumerate all solutions via backtracking
expand(true
/false
)
If true
(default is false
) and Spec is atomic, call expand_file_name/2 followed by member/2 on Spec before proceeding This is originally a SWI-Prolog extension, but whereas SWI-Prolog implements its own conventions, YAP uses the shell's glob
primitive
Notice that in glob
mode YAP will fail if it cannot find a matching file, as glob
implicitely tests for existence when checking for patterns
glob(Pattern
)
If Pattern is atomic, add the pattern as a suffix to the current expansion, and call expand_file_name/2 followed by member/2 on the result This is originally a SICStus Prolog exception
Both glob
and expand
rely on the same underlying mechanism YAP gives preference to glob
verbose_file_search(true
/false
)
If true
(default is false
) output messages during search This is often helpful when debugging Corresponds to the SWI-Prolog flag verbose_file_search
(also available in YAP)
Compatibility considerations to common argument-order in ISO as well as SICStus absolute_file_name/3 forced us to be flexible here If the last argument is a list and the second not, the arguments are swapped, thus the call
is valid as well