file_directory

Availability:built-in

file_directory_name(+File, -Directory)

Extracts the directory part of File. The returned Directory name does not end in /. There are two special cases. The directory name of / is / itself, and the directory name is . if File does not contain any / characters. If the File argument ends with a /, e.g., '/hello/', it is not a valid file name. In this case the final / is removed from File, e.g., '/hello'.

See also directory_file_path/3 from 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 same_file/2.^{133On
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).