source_infois on at compile time, more information from the source code is kept around at runtime, with improved functionality including:
listing/[0,1]displays the clauses with their source code variable names.
profiledcodevalue of the
compilingProlog flag has been dropped.
profile_reset/1have been replaced by
meta_predicate/1predicate property will retrieve the specifications used in the original meta-predicate declaration, which can be integers or the atoms
?. Previously, only the atoms
?would be retrieved. Please note: This is an incompatible change. Code that inspects this predicate property may need to be updated.
id, has been added. This property provides a unique identity that is never re-used, even after the stream has been closed. See
stream_property/2in the SICStus Prolog Manual.
case/[3,4]constraint has been extended to take linear inequalities into account in addition to the DAG.
smt/1provides a front-end to the extended
library(zinc): upgraded to FlatZinc version 1.2.
Enumerate tables and their attributes.
Enumerate table columns and their attributes.
odbc:odbc_query_close/1can now close both result sets and statement handles.
SP_ULIMIT_DATA_SEGMENT_SIZEis set to
unlimited. This ensures that overly restrictive default limits on process memory usage don’t affect SICStus. This is primarily an issue on Mac OS X. Previously, this setting was only applied when SICStus was invoked from the SICStus Prolog IDE (SPIDER).