do/2for performing simple iterations. See Do Loops in the SICStus Prolog Manual.
make it easier to determine which version of SICStus is running. Especially useful with conditional compilation.
make it easier to determine on which operating system SICStus is running.
The range of small integers.
Not a new flag but is no longer read-only. Setting it can be useful, e.g. in test cases.
interactivefor interactive streams, like the standard input and output streams when invoking SICStus on a terminal or with the -i command line option.
:(colon) in order to help analysis tools follow code references. All documentation and libraries have been updated to reflect this. (This was always allowed in SICStus as a substitute for
:(colon) but was never documented).
SP_initialize()can now be used to pass initialization options.
statistics/0now resets the “time spent since the latest call” counters.
library(odbc)is a new ODBC library for interfacing with databases. ODBC (Open Database Connectivity) is a standard API for using a DBMS (DataBase Management System). By using ODBC you can access data from a multitude of DBMSs without having to know the details of each DBMS.
random:setrand/1can now be passed an arbitrary integer for initializing the state of the random number generators. This is easier than constructing a valid random state like those returned by
geost/[2,3,4]is a new powerful constraint that constrains the location in space of non-overlapping multi-dimensional objects.
table/[2,3]is more scalable and has several new options for controlling its DAG construction.
automaton/3is a shorthand for the most common use of
-) is allowed in arithmetic expressions.
library(zinc): upgraded to FlatZinc version 1.0.
library(system): a new predicate,
environ/3, for reading system properties, environment variables or a merged view of both. See below for the new concept “System Properties” that has replaced most uses of environment variables.
library(sockets): The predicates that create socket streams now take options
eol/1with the same meaning as for