aggregate.pl -- SICStus 4 library(aggregate). |
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). |
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. |  |