SICStus Prolog 4.3 released

14 May, 2014 - 15:57

Find it at SICStus' homepage.

Briefly, the new features are as follows.

- Compliance with Technical Corrigendum 1 & 2 of the ISO Prolog standard, affecting:

  • new built-in predicates
  • compliant error handling
  • new built-in arithmetic functions
  • smallish syntax issues

- Just-in-time (JIT) compilation to native code for the x86 and x86_64 instruction architectures, on Windows, Mac OS X and Linux. This happens automatically by default, but can be switched off with the option: -DSP_JIT=disabled

JIT compiled code integrates seamlessly with everything else. It only exists in memory, so precompiled (.po) and saved state (.sav) files are not affected.

- MiniZinc interface:

  • mzn-sicstus, a command-line shortcut for MiniZinc with SICStus as back-end
  • spfz, a command-line FlatZinc interpreter tool
  • performance improvements


  • several new constraints for 0/1 (Boolean) variables
  • new labeling predicate and options, inspired by MiniZinc
  • performance improvements

- Precompiled (.po) files are backwards compatible.

- Dropped platforms:

  • Solaris 8
  • Windows XP
  • Windows VC8 (Visual Studio 2005)
  • Mac OS X 10.6 and older
  • OS X 10.8 32-bit (can use OS X 10.7 32-bit version)

Many thanks to all of you who took part in beta testing this release. Your input was invaluable in ironing out the last wrinkles!