13.31.1 New Features

• Added new functionality to library(json) for reading and writing from/to atoms and lists of codes.
• Added library(jsonrpc) with examples that use JSON for communicating between other programming languages and SICStus. Example clients are provided in Python, Java, C#, C, Go, and Prolog. Has existed since release 4.5.0, but now made more visible.
• library(mutarray) is new, and provides an implementation of mutable, dense arrays with constant lookup and update time for all indices in the best case.
• library(mutdict) is new, and provides an implementation of mutable dictionaries with constant lookup and update time for all keys in the best case.
• library(lmdb) is new, and provides functionality similar to the now deprecated library(bdb), i.e. persistent storage of terms on disk. See External Storage of Terms (LMDB) in the SICStus Prolog Manual.
• CLPFD:
  • - element/2 is a new constraint, similar to element/3 without the first argument.
  • - regular/2 is a new constraint. Constrains a sequence of variables to be recognized by a regular expression.
  • - all_equal/1 and all_equal_reif/2 are new constraints. Constrains a sequence of variables to be all equal.
  • - fd_failures/2 and fd_set_failures/2 are new reflection predicates, to access the number of times that a variable has been involved in a failure.
  • - impact and dom_w_deg are new variable selection options, sensitive to the number of times that a variable has been involved in a failure.
• The splfr and spld utilities now recognize C++ source code and you can use --cxxflag=OPT to specify C++ compiler flags.