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).
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).
sockets.pl  -- SICStus 4-compatible library(sockets).
system.pl  -- SICStus 4-compatible library(system).
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.