sicstus4

Prolog files

aggregate.pl  -- SICStus 4 library(aggregate).
term_variables/3	Vars is the union of Vars0 and all variables that occur in Term.
between.pl  -- SICStus 4 library(between).
clpfd.pl  -- SICStus 4 library(clpfd)
table/3
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).
prefix/2	True if Prefix is a prefix of List.
proper_prefix/2	True if Prefix is a prefix of List, but is not List itself.
proper_suffix/2	True if Suffix is a suffix of List, but is not List itself.
rev/2	Same as reverse/2, but List must be a proper list.
scanlist/4	Same as foldl/[4,5,6].
scanlist/5	Same as foldl/[4,5,6].
scanlist/6	Same as foldl/[4,5,6].
shorter_list/2	True if Short is a shorter list than Long.
suffix/2	True if Suffix is a suffix of List.
ordsets.pl  -- SICStus 4 library(ordsets).
samsort.pl  -- SICStus 4 library(samsort).
samkeysort/2	Same as keysort/2.
samsort/2	Same as msort/2.
samsort/3	Similar to predsort/3, but the predicate Order is used to determine the order of terms.
sets.pl  -- SICStus 4 library(sets).
list_to_set/2	Set is List with all duplicates removed.
sockets.pl  -- SICStus 4-compatible library(sockets).
system.pl  -- SICStus 4-compatible library(system).
environ/2	True if Value is an atom associated with the environment variable or system property Name.
environ/3	True if Value is an atom associated with the environment variable or system property Name.
terms.pl  -- SICStus 4-compatible library(terms).
subsumeschk/2	SICStus 4 name of subsumes_chk/2.
term_order/3	Same as compare/3, except for the order of arguments.
term_variables_set/2	Same as term_variables_bag/2, but Variables is an ordered set.
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.