For checking the existence of files, exists/1 is used. For accessing any file properties there is get_file_info/3. It can return file permissions, type, owner, size, inode, number of links as well as creation, access and modification times (as defined by the UNIX system call stat(2)), and accessibility information. It fails when the specified file does not exist. Refer to the BIP book or help/1 for details.