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