same_file/2

Availability:built-in

same_file(+File1, +File2)

True if both filenames refer to the same physical file. That is, if File1 and File2 are the same string or both names exist and point to the same file (due to hard or symbolic links and/or relative vs. absolute paths). On systems that provide stat() with meaningful values for st_dev and st_inode, same_file/2 is implemented by comparing the device and inode identifiers. On Windows, same_file/2 uses GetFileInformationByHandle() and compares the volume serial number and file index.^{155As of version
8.5.16. Earlier versions only compare the canonical name obtained using
GetFullPathName().}