SICStus Prolog Homepage WELCOME TO
SICStus Prolog
Leading Prolog Technology
  SICStus Home > Download SICStus 4 Download for Evaluation
Download your copy of SICStus Prolog!

Download your copy of SICStus Prolog!

Download and Installation for SICStus 4

NOTE: SICStus Prolog is proprietary software and you need a valid license in order to use it. If you do not already have such, visit our ordering page for information.

NOTE: Your license code and the download password are confidential information. You cannot disclose them to third parties or post them on the Internet.

Prerequisites

In order to download and install the binary distributions, you need the following:
  • This information is sent via email when ordering a license:
    • A key for decrypting the encrypted binaries (UNIX) or for running the self-extracting Windows installer.
    • Your license information, consisting of a site-name, expiration-date, and a license code (this is not the same as the decryption key).
    • Decryption keys and license codes are version specific. Keys and codes for release 4 do not work for older versions and vice versa.
  • UNIX distributions require a C compiler for a fully functional installation. On many systems the C compiler is not installed by default so you need to install the C compiler separately. A C compiler is typically available, for free, from the OS vendor.

    In particular, Solaris and Mac OS X do not have a C compiler installed by default. This is also true for some Linux distributions.

  • UNIX distributions require Perl, version 5 or later. Recent operating systems should already have a suitable version of Perl installed. If not, the Perl language homepage has binaries for easy installation.
  • Certain library modules require optional third-party software. Such software is described here.
  • Any other limitations are mentioned in the Release Notes.

Installation

Before installing anything, read the Release Notes. They contain important information regarding certain platforms, limitations, etc. The online version of the Release Notes might contain important information added since the binary distributions were built. Also, make sure you have your license information (download password, decryption key, license-code, site-name, and expiration date) handy.

When you are done installing, consult the release notes and user's manual for documentation. If you are migrating code from release 3, the following sections may be useful: What Is New In Release 4 and Guide to Porting Code from Release 3

UNIX

Follow these steps:
  1. Download the binary distribution. Unpack by typing:
    % cat <downloaded-file>.tar.gz | gzip -cd | tar xf -
    

    If tar reports an error, try GNU tar instead.

  2. Execute the installation script by:
    % cd sp-<version>-<platform>
    % sudo ./InstallSICStus
    
    and follow the instructions. You only need to use sudo if you install SICStus in a global location, like /usr/local.

    The installation-script will ask you some questions about decryption key, your license, installation directory, locations of third-party software, etc. If you don't understand the question, pressing return will give you the default action which is probably what you want. Sample session from InstallSICStus.

  3. Launch the development system by executing sicstus, located in the bin sub-directory of the installation path specified to InstallSICStus.

Windows XP/Vista/7/8

Follow these steps.
  1. Download and install the prerequisites.
  2. Download the binary distribution.
  3. Double-click on the downloaded .exe file and follow the instructions.
  4. Launch the development system by double-clicking on the spwin icon in the bin directory or use the shortcut in the Start menu.
  5. Optionally, install the third-party software needed for some modules.

Pre-Built Binary Distribution

If a C compiler is not available, you can install SICStus from a "pre-built installation". Pre-built installations are available for Mac OS X, SPARC Solaris, and Linux. Pre-built installation is the default on Mac OS X. Pre-built installation is not recommended on Linux and Solaris, instead you should ensure that a C compiler is available. This is particularly important if you intend to build executables or foreign resources, using the tools spld and splfr, or if you want to use any of the libraries that require third-party products, i.e. library(odbc), library(bdb), library(jasper), or library(tcltk). The default choice whether or not to install a pre-built installations can be changed by invoking InstallSICStus with the options --prebuilt or --no-prebuilt, respectively.

Download Latest Version

Each binary distribution is available as a single file (gzipped tar-file for UNIX platforms and a self-extracting executable for Windows platforms). The latest versions are available by clicking on the links below. Note that the gzipped tar-files have the suffix .tar.gz and therefore are likely not to be recognized by your web-browser. In that case use "Save link as..." or a similar command (right mouse button in Interner Explorer or Firefox).

See also here for a table of links for downloading optional third-party software, which is a prerequisite for certain modules and should be installed before installing SICStus Prolog.

For 64 bit platforms, two download links are provided, since a 32-bit distribution will run on both 32-bit and 64-bit hardware. However, the default word size can be 32 bits even on a 64 bit platform. When two download links are given, the first one is the choice that matches the default word size.

For Windows, which distribution to choose depends on the version of Visual Studio that is installed on your PC. This only matters of you plan to build stand-alone executables or write foreign code. The first Windows row corresponds to Visual Studio 2010 SP1 a.k.a. VS10. The second Windows row corresponds to Visual Studio 2008 SP1 a.k.a. VS9. The third Windows row corresponds to Visual Studio 2005 SP1 a.k.a. VS8. The three distributions can coexist on the same machine and they take identical license codes.

OS Hardware SICStus
version
Download
1st choice
Download
2nd choice
Windows XP/Vista/7/8
VS10
Intel/x86/Pentium
32 bits
4.2.3 InstallSICStus (32b)
Intel/x86/Pentium
64 bits
4.2.3 InstallSICStus (32b) InstallSICStus (64b)
Windows XP/Vista/7/8
VS9
Intel/x86/Pentium
32 bits
4.2.3 InstallSICStus (32b)
Intel/x86/Pentium
64 bits
4.2.3 InstallSICStus (32b) InstallSICStus (64b)
Windows XP/Vista/7/8
VS8
Intel/x86/Pentium 4.2.3 InstallSICStus (32b)
Linux
glibc2.12
Intel/x86/Pentium
32 bits
4.2.3 tar ball (32b)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (64b)
Linux
glibc2.7
Intel/x86/Pentium
32 bits
4.2.0 tar ball (32b)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (64b)
Linux
glibc2.5
Intel/x86/Pentium
32 bits
4.2.3 tar ball (32b)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (64b) tar ball (32b)
PowerPC
32 bits
4.2.3 tar ball (32b)
PowerPC
64 bits
4.2.3 tar ball (64b) tar ball (32b)
Linux
glibc2.3
Intel/x86/Pentium
32 bits
4.2.0 tar ball (32b)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (64b)
Solaris 10 Intel/x86/Pentium
32 bits
4.2.3 tar ball (32b)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (32b) tar ball (64b)
SPARC
32 bits
4.2.3 tar ball (32b)
SPARC
64 bits
4.2.3 tar ball (32b) tar ball (64b)
Solaris 8 SPARC
32 bits
4.2.3 tar ball (32b)
SPARC
64 bits
4.2.3 tar ball (32b) tar ball (64b)
OS X 10.8
[Mountain Lion]
(Darwin 12.0.0)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (64b) tar ball (32b)
Intel/x86/Pentium
32 bits
4.2.3 tar ball (32b)
Mac OS X 10.7
[Lion]
(Darwin 11.0.0)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (64b) tar ball (32b)
Intel/x86/Pentium
32 bits
4.2.3 tar ball (32b)
Mac OS X 10.6
[Snow Leopard]
(Darwin 10.0.0)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (64b) tar ball (32b)
Intel/x86/Pentium
32 bits
4.2.3 tar ball (32b)
Mac OS X 10.5
[Leopard]
(Darwin 9.8.0)
Intel/x86/Pentium
32 bits
4.2.3 tar ball (32b)
Intel/x86/Pentium
64 bits
4.2.3 tar ball (32b) tar ball (64b)

Invited Parties Only

OS Hardware SICStus
version
Download
1st choice
Download
2nd choice
Windows Vista/7/8
VS12/VS2013SP1
Intel x86
32 bits
4.3.0beta8 InstallSICStus (32b)
Intel x86
64 bits
4.3.0beta8 InstallSICStus (32b) InstallSICStus (64b)
Windows Vista/7/8
VS11/VS2012Upd4
Intel x86
32 bits
4.3.0beta8 InstallSICStus (32b)
Intel x86
64 bits
4.3.0beta8 InstallSICStus (32b) InstallSICStus (64b)
Windows Vista/7/8
VS10/VS2010SP1
Intel x86
32 bits
4.3.0beta8 InstallSICStus (32b)
Intel x86
64 bits
4.3.0beta8 InstallSICStus (32b) InstallSICStus (64b)
Windows Vista/7/8
VS9/VS2008SP1
Intel x86
32 bits
4.3.0beta8 InstallSICStus (32b)
Intel x86
64 bits
4.3.0beta8 InstallSICStus (32b) InstallSICStus (64b)
Linux
glibc2.12
Intel x86
32 bits
4.3.0beta8 tar ball (32b)
Intel x86
64 bits
4.3.0beta8 tar ball (64b) tar ball (32b)
Linux
glibc2.5
Intel x86
32 bits
4.3.0beta8 tar ball (32b)
Intel x86
64 bits
4.3.0beta8 tar ball (64b) tar ball (32b)
Solaris 10 Intel x86
32 bits
4.3.0beta8 tar ball (32b)
Intel x86
64 bits
4.3.0beta8 tar ball (32b) tar ball (64b)
SPARC
32 bits
4.3.0beta8 tar ball (32b)
SPARC
64 bits
4.3.0beta8 tar ball (32b) tar ball (64b)
OS X 10.8
[Mountain Lion]
(Darwin 12.0.0)
Intel x86
64 bits
4.3.0beta8 tar ball (64b)
Mac OS X 10.7
[Lion]
(Darwin 11.0.0)
Intel x86
64 bits
4.3.0beta8 tar ball (64b) tar ball (32b)
Intel x86
32 bits
4.3.0beta8 tar ball (32b)

Valid HTML 4.01 Transitional