True if a regular file or directory (respectively) exists at
Path and it has the given property and value. Property may be
unbound to backtrack over all available properties. If the Value
parameter is omitted, succeeds if Property has value true.
The following properties are currently supported:
- create_timestamp
- modify_timestamp
- access_timestamp
- The file/directory's creation/modification/access time as a Unix
timestamp (as returned by SWI's set_time_file/3).
- create_localtime
- modify_localtime
- access_localtime
- The file/directory's creation/modification/access time as a
datime/6 term (as returned by datime/2 from SICStus
library(system)).
- readable
- writable
- executable
- searchable
true or false depending on whether the file/directory is
readable/writable/executable/searchable. executable is only
supported on regular files and searchable only on directories.- size_in_bytes
- The file's size in bytes. Not supported on directories.
On Unix systems, create_timestamp/create_localtime don't
return the file's actual creation time, but rather its "ctime"
or "metadata change time". This matches the behavior of
SICStus 4.6.0.
As of SICStus 4.6.0, the following properties are not yet
emulated:
- set_user_id
- set_group_id
- save_text
- who_can_read
- who_can_write
- who_can_execute
- who_can_search
- owner_user_id
- owner_group_id
- owner_user_name
- owner_group_name
