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.158As of
version 8.5.16. Earlier versions only compare the canonical name
obtained using GetFullPathName().