Go to the first, previous, next, last section, table of contents.

Operating system utilities

Author(s): Daniel Cabeza, Manuel Carro.

Version: 1.11#222 (2004/5/24, 13:8:7 CEST)

Version of last change: 1.11#184 (2004/2/11, 18:35:28 CET)

This module contains predicates for invoking services which are typically provided by the operating system. Note that the predicates which take names of files or directories as arguments in this module expect atoms, not path aliases. I.e., generally these predicates will not call absolute_file_name/2 on names of files or directories taken as arguments.

Usage and interface (system)

Documentation on exports (system)

PREDICATE: pause/1:

pause(Seconds)

Make this thread sleep for some Seconds.

Usage:

PREDICATE: time/1:

time(Time)

Time is unified with the number of seconds elapsed since January, 1, 1970 (UTC).

Usage:

PREDICATE: datime/1:

datime(Datime)

Datime is unified with a term of the form datime(Year,Month,Day,Hour,Minute,Second) which contains the current date and time.

Usage:

PREDICATE: datime/9:

datime(Time, Year, Month, Day, Hour, Min, Sec, WeekDay, YearDay)

Time is as in time/1. WeekDay is the number of days since Sunday, in the range 0 to 6. YearDay is the number of days since January 1, in the range 0 to 365.

Usage 1:

Usage 2:

REGTYPE: datime_struct/1:

A regular type, defined as follows: 



datime_struct(datime(Year,Month,Day,Hour,Min,Sec)) :-
        int(Year),
        int(Month),
        int(Day),
        int(Hour),
        int(Min),
        int(Sec).

PREDICATE: getenvstr/2:

getenvstr(Name, Value)

The environment variable Name has Value. Fails if variable Name is not defined.

Usage:

PREDICATE: setenvstr/2:

setenvstr(Name, Value)

The environment variable Name is assigned Value.

Usage:

PREDICATE: current_env/2:

current_env(Name, Value)

If Name is an atom, then unifies the environment variable Name with its value. Note that this predicate can be used to enumerate all the environment variables using backtracking.

Usage:

PREDICATE: set_env/2:

set_env(Name, Value)

The environment variable Name is assigned Value.

Usage:

PREDICATE: del_env/1:

del_env(Name)

The environment variable Name is removed.

Usage:

PREDICATE: copy_file/2:

copy_file(Source, Destination)

Copies the file {Source

Usage:

PREDICATE: extract_paths/2:

extract_paths(String, Paths)

Interpret String as the value of a UNIX environment variable holding a list of paths and return in Paths the list of the paths. Paths in String are separated by colons, and an empty path is considered a shorthand for '.' (current path). The most typical environment variable with this format is PATH. For example, this is a typical use: 

?- set_prolog_flag(write_strings, on).

yes
?- getenvstr('PATH', PATH), extract_paths(PATH, Paths).

PATH = ":/home/bardo/bin:/home/clip/bin:/opt/bin/:/bin",
Paths = [".","/home/bardo/bin","/home/clip/bin","/opt/bin/","/bin"] ?

yes
?-

Usage:

PREDICATE: get_pid/1:

get_pid(Pid)

Unifies Pid with the process identificator of the current process or thread.

Usage:

PREDICATE: current_host/1:

current_host(Hostname)

Hostname is unified with the fully qualified name of the host.

Usage:

PREDICATE: current_executable/1:

current_executable(Path)

Unifies Path with the path to the current executable.

Usage:

PREDICATE: umask/2:

umask(OldMask, NewMask)

The process file creation mask was OldMask, and it is changed to NewMask.

Usage 1:

Usage 2: umask(OldMask, NewMask)

PREDICATE: make_directory/2:

make_directory(DirName, Mode)

Creates the directory DirName with a given Mode. This is, as usual, operated against the current umask value.

Usage:

PREDICATE: make_directory/1:

make_directory(DirName)

Equivalent to make_directory(D,0o777).

Usage:

PREDICATE: make_dirpath/2:

make_dirpath(Path, Mode)

Creates the whole Path for a given directory with a given Mode. As an example, make_dirpath('/tmp/var/mydir/otherdir').

Usage:

PREDICATE: make_dirpath/1:

make_dirpath(Path)

Equivalent to make_dirpath(D,0o777).

Usage 1:

Usage 2:

PREDICATE: working_directory/2:

working_directory(OldDir, NewDir)

Unifies current working directory with OldDir, and then changes the working directory to NewDir. Calling working_directory(Dir,Dir) simply unifies Dir with the current working directory without changing anything else.

Usage 1:

Usage 2: working_directory(OldDir, NewDir)

PREDICATE: cd/1:

cd(Path)

Changes working directory to Path.

Usage:

PREDICATE: shell/0:

Usage:

PREDICATE: shell/1:

shell(Command)

Command is executed in the shell specified by the environment variable SHELL. It succeeds if the exit code is zero and fails otherwise.

Usage:

PREDICATE: shell/2:

shell(Command, ReturnCode)

Executes Command in the shell specified by the environment variable SHELL and stores the exit code in ReturnCode.

Usage:

PREDICATE: system/1:

system(Command)

Executes Command using the shell /bin/sh.

Usage:

PREDICATE: system/2:

system(Command, ReturnCode)

Executes Command in the /bin/sh shell and stores the exit code in ReturnCode.

Usage:

PREDICATE: popen/3:

popen(Command, Mode, Stream)

Open a pipe to process Command in a new shell with a given Mode and return a communication Stream (as in UNIX popen(3)). If Mode is read the output from the process is sent to Stream. If Mode is write, Stream is sent as input to the process. Stream may be read from or written into using the ordinary stream I/O predicates. Stream must be closed explicitly using close/1, i.e., it is not closed automatically when the process dies.

Usage:

REGTYPE: popen_mode/1:

Usage: popen_mode(M)

PREDICATE: exec/4:

exec(Command, StdIn, StdOut, StdErr)

Starts the process Command and returns the standart I/O streams of the process in StdIn, StdOut, and StdErr.

Usage:

PREDICATE: exec/3:

exec(Command, StdIn, StdOut)

Starts the process Command and returns the standart I/O streams of the process in StdIn and StdOut. Standard error is connected to whichever the parent process had it connected to.

Usage:

PREDICATE: directory_files/2:

directory_files(Directory, FileList)

FileList is the unordered list of entries (files, directories, etc.) in Directory.

Usage:

PREDICATE: mktemp/2:

mktemp(Template, Filename)

Returns a unique Filename based on Template: Template must be a valid file name with six trailing X, which are substituted to create a new file name.

Usage:

PREDICATE: file_exists/1:

file_exists(File)

Succeeds if File (a file or directory) exists (and is accessible).

Usage:

PREDICATE: file_exists/2:

file_exists(File, Mode)

File (a file or directory) exists and it is accessible with Mode, as in the Unix call access(2). Typically, Mode is 4 for read permission, 2 for write permission and 1 for execute permission.

Usage:

PREDICATE: file_property/2:

file_property(File, Property)

File has the property Property. The possible properties are:

type(Type)
Type is one of regular, directory, symlink, fifo, socket or unknown.
linkto(Linkto)
If File is a symbolic link, Linkto is the file pointed to by the link (and the other properties come from that file, not from the link itself).
mod_time(ModTime)
ModTime is the time of last modification (seconds since January, 1, 1970).
mode(Protection)
Protection is the protection mode.
size(Size)
Size is the size.

If Property is uninstantiated, the predicate will enumerate the properties on backtracking.

Usage:

PREDICATE: file_properties/6:

file_properties(Path, Type, Linkto, Time, Protection, Size)

The file Path has the following properties:

Usage:

PREDICATE: modif_time/2:

modif_time(File, Time)

The file File was last modified at Time, which is in seconds since January, 1, 1970. Fails if File does not exist.

Usage:

PREDICATE: modif_time0/2:

modif_time0(File, Time)

If File exists, Time is its latest modification time, as in modif_time/2. Otherwise, if File does not exist, Time is zero.

Usage:

PREDICATE: fmode/2:

fmode(File, Mode)

The file File has protection mode Mode.

Usage:

PREDICATE: chmod/2:

chmod(File, NewMode)

Change the protection mode of file File to NewMode.

Usage:

PREDICATE: chmod/3:

chmod(File, OldMode, NewMode)

The file File has protection mode OldMode and it is changed to NewMode.

Usage 1:

Usage 2: chmod(File, OldMode, NewMode)

PREDICATE: delete_file/1:

delete_file(File)

Delete the file File.

Usage:

PREDICATE: delete_directory/1:

delete_directory(File)

Delete the directory Directory.

Usage:

PREDICATE: rename_file/2:

rename_file(File1, File2)

Change the name of File1 to File2.

Usage:

PREDICATE: cyg2win/3:

Usage: cyg2win(CygWinPath, WindowsPath, SpawSlash)

Documentation on multifiles (system)

PREDICATE: define_flag/3:

No further documentation available for this predicate.

The predicate is multifile.

Known bugs and planned improvements (system)

Go to the first, previous, next, last section, table of contents.