- ext
- clib
- socket.pl -- Network socket (TCP and UDP) library
- uid.pl -- User and group management on Unix systems
- unix.pl -- Unix specific operations
- syslog.pl -- Unix syslog interface
- filesex.pl -- Extended operations on files
- uri.pl -- Process URIs
- process.pl -- Create processes and redirect I/O
- time.pl -- Time and alarm library
- sha.pl -- SHA secure hashes
- crypt.pl
- memfile.pl
- uuid.pl -- Universally Unique Identifier (UUID) Library
- hash_stream.pl -- Maintain a hash on a stream
- md5.pl -- MD5 hashes
- prolog_stream.pl -- A stream with Prolog callbacks
- udp_broadcast.pl -- A UDP broadcast proxy
- streampool.pl -- Input multiplexing
- cgi.pl -- Read CGI parameters
- rlimit.pl
- clib
- set_time_file(+File, -OldTimes, +NewTimes) is det
- Query and set POSIX time attributes of a file. Both OldTimes and
NewTimes are lists of option-terms. Times are represented in
SWI-Prolog's standard floating point numbers. New times may be
specified as
nowto indicate the current time. Defined options are:- access(Time)
- Describes the time of last access of the file. This value can be read and written.
- modified(Time)
- Describes the time the contents of the file was last modified. This value can be read and written.
- changed(Time)
- Describes the time the file-structure itself was changed by
adding (
link()) or removing (unlink()) names.
Below are some example queries. The first retrieves the access-time, while the second sets the last-modified time to the current time.
?- set_time_file(foo, [access(Access)], []). ?- set_time_file(foo, [], [modified(now)]).