sicstus4

Prolog files

aggregate.pl  -- SICStus 4 library(aggregate).
between.pl  -- SICStus 4 library(between).
clpfd.pl  -- SICStus 4 library(clpfd)
file_systems.pl  -- SICStus 4 library(file_systems).
current_directory/1	Unifies Directory with the current working directory path.
current_directory/2	Unifies Directory with the current working directory path.
delete_directory/2	Extended verison of delete_directory/1.
delete_file/1	Like SWI's built-in delete_file/1, but only works on regular files.
directory_exists/1	True if a directory exists at path Directory and can be accessed according to Mode (defaults to exist).
directory_exists/2	True if a directory exists at path Directory and can be accessed according to Mode (defaults to exist).
directory_member_of_directory/2	True if Directory contains a directory or regular file (respectively) named BaseName and the file's absolute path is FullName.
directory_member_of_directory/3	True if Directory contains a directory or regular file (respectively) named BaseName and the file's absolute path is FullName.
directory_member_of_directory/4	True if Directory contains a directory or regular file (respectively) named BaseName and the file's absolute path is FullName.
directory_members_of_directory/1	Unifies Set with a set of BaseName-FullName entries for all directories or regular files (respectively) in Directory.
directory_members_of_directory/2	Unifies Set with a set of BaseName-FullName entries for all directories or regular files (respectively) in Directory.
directory_members_of_directory/3	Unifies Set with a set of BaseName-FullName entries for all directories or regular files (respectively) in Directory.
directory_must_exist/1	Ensure that a directory exists at path Directory and can be accessed according to Mode (defaults to exist).
directory_must_exist/2	Ensure that a directory exists at path Directory and can be accessed according to Mode (defaults to exist).
directory_property/2	True if a regular file or directory (respectively) exists at Path and it has the given property and value.
directory_property/3	True if a regular file or directory (respectively) exists at Path and it has the given property and value.
file_exists/1	True if a regular file exists at path File and can be accessed according to Mode (defaults to exist).
file_exists/2	True if a regular file exists at path File and can be accessed according to Mode (defaults to exist).
file_member_of_directory/2	True if Directory contains a directory or regular file (respectively) named BaseName and the file's absolute path is FullName.
file_member_of_directory/3	True if Directory contains a directory or regular file (respectively) named BaseName and the file's absolute path is FullName.
file_member_of_directory/4	True if Directory contains a directory or regular file (respectively) named BaseName and the file's absolute path is FullName.
file_members_of_directory/1	Unifies Set with a set of BaseName-FullName entries for all directories or regular files (respectively) in Directory.
file_members_of_directory/2	Unifies Set with a set of BaseName-FullName entries for all directories or regular files (respectively) in Directory.
file_members_of_directory/3	Unifies Set with a set of BaseName-FullName entries for all directories or regular files (respectively) in Directory.
file_must_exist/1	Ensure that a regular file exists at path File and can be accessed according to Mode (defaults to exist).
file_must_exist/2	Ensure that a regular file exists at path File and can be accessed according to Mode (defaults to exist).
file_property/2	True if a regular file or directory (respectively) exists at Path and it has the given property and value.
file_property/3	True if a regular file or directory (respectively) exists at Path and it has the given property and value.
rename_directory/2	Like SWI's built-in rename_file/2, but only works on directories.
rename_file/2	Like SWI's built-in rename_file/2, but only works on regular files.
lists.pl  -- SICStus 4-compatible library(lists).
ordsets.pl  -- SICStus 4 library(ordsets).
samsort.pl  -- SICStus 4 library(samsort).
sets.pl  -- SICStus 4 library(sets).
sockets.pl  -- SICStus 4-compatible library(sockets).
system.pl  -- SICStus 4-compatible library(system).
terms.pl  -- SICStus 4-compatible library(terms).
timeout.pl  -- SICStus 4-compatible library(timeout).
types.pl  -- SICStus 4 library(types).
illarg/3	Same as illarg/4, with Culprit set to argument number ArgNo of Goal.
illarg/4	Throw a SICStus standard error described by ErrorTerm.
must_be/4	Similar to must_be/2.