|Did you know ...||Search Documentation:|
. There are two special cases. The directory name of
itself, and the directory name is
if File does not contain any
characters. If the File argument ends with a
'/hello/', it is not a valid file name. In this case the final
is removed from File, e.g.,
See also directory_file_path/3
library(filesex). The system ensures that for every
valid Path using the Prolog (POSIX) directory separators,
following is true on systems with a sound implementation of
some systems, Path and Path2 refer to the same
entry in the file system, but same_file/2
may fail. See also prolog_to_os_filename/2.
..., file_directory_name(Path, Dir), file_base_name(Path, File), directory_file_path(Dir, File, Path2), same_file(Path, Path2).