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
compares the strings returned by the GetFullPathName() system call.