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. |  |