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 is confidential information. You cannot disclose them to third parties or post them on the Internet.

Quick Start

In most cases the following installers will work. See detailed instructions below if you have special requirements or if you intend to integrate with third-party products like Java, Tcl/Tk or Berkeley DB.

Microsoft Windows

Download the installer and run it.

Detailed instructions below.

Apple macOS (High Sierra or later)

Download the installer tar ball, unpack it and run ./InstallSICStus.

Detailed instructions below.

Linux

Download the installer tar ball, unpack it and run ./InstallSICStus.

Detailed instructions below.

Detailed Download and Installation Instructions

Prerequisites

In order to download and install the binary distributions, you need the following:
  • Your license information, consisting of a site-name, expiration-date, and a license code. This information is sent via email when ordering a license. License codes are version specific. Codes for release 4.5 do not work for older versions (or newer version) and vice versa.
  • Certain library modules and other functionality require optional third-party software. Such software is described here.
  • Any other limitations are mentioned in the Release Notes.

Installation

Before installing, install any platform specific prerequisites, e.g. C compiler and third-party libraries, as described below. Also, make sure you have your license information (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

This includes macOS and Linux.

Follow these steps:

  1. Optionally, install the C compiler and the third-party software needed for some modules and for creating executables.
  2. 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.

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

    The installation script will ask you some questions about 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 installation sessions: Ubuntu 18 prebuilt installation and full installation. CentOS 7 prebuilt installation and full installation.

  4. Launch the development system by executing sicstus, located in the installation path specified to InstallSICStus (e.g. /usr/local/sicstus4.5.1/bin/sicstus).
  5. The sicstus command line tool provides only a minimal top-level. For a full IDE (Integrated Development Environment), download and install SPIDER.

Windows

Follow these steps.
  1. Download and install the prerequisites.
  2. Optionally, install the third-party software needed for some modules.
  3. Download the binary distribution.
  4. Double-click on the downloaded .exe file and follow the instructions.
  5. Launch the development system by double-clicking on the spwin icon in the bin directory or use the shortcut in the Start menu.
  6. The spwin provides only a minimal top-level. For a full IDE (Integrated Development Environment), download and install SPIDER.

Pre-Built Binary Distribution

On UNIX platforms, if a C compiler is not available, you can install SICStus from a "pre-built installation". Pre-built installations are available for macOS and Linux. Pre-built installation is the default but the installation script will ask whether you want to perform a full install instead.

A full install is recommended 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).

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 some 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 (see details).

Operating system version numbers denote what the downloadable distribution was built on. In general, distributions will work also on newer versions of the same operating systems.

OS Hardware SICStus
version
Download
1st choice
Download
2nd choice
Windows 7/8/10
VC15 (VS2017)
Intel/x86
64 bits
4.5.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.5.1 InstallSICStus (32b)
Windows 7/8/10
VC14 (VS2015)
Intel/x86
64 bits
4.5.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.5.1 InstallSICStus (32b)
Windows 7/8/10
VC12 (VS2013SP1)
Intel/x86
64 bits
4.5.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.5.1 InstallSICStus (32b)
macOS 10.13
[High Sierra]
(Darwin 17.0.0)
Intel/x86
64 bits
4.5.1 tar ball (64b)
macOS 10.12
[Sierra]
(Darwin 16.0.0)
Intel/x86
64 bits
4.5.1 tar ball (64b)
OS X 10.11
[El Capitan]
(Darwin 15.0.0)
Intel/x86
64 bits
4.5.1 tar ball (64b)
Linux glibc2.17
(e.g. CentOS/RHEL 7.4)
Intel/x86
64 bits
4.5.1 tar ball (64b)
Linux glibc2.12
(e.g. CentOS/RHEL 6)
Intel/x86
64 bits
4.5.1 tar ball (64b) tar ball (32b)
Intel/x86
32 bits
4.5.1 tar ball (32b)

Download Older Version

If you have an older license, the last release of SICStus 4.4 can be downloaded below.

OS Hardware SICStus
version
Download
1st choice
Download
2nd choice
Windows 7/8/10
VC15 (VS2017)
Intel/x86
64 bits
4.4.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.4.1 InstallSICStus (32b)
Windows 7/8/10
VC14 (VS2015)
Intel/x86
64 bits
4.4.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.4.1 InstallSICStus (32b)
Windows 7/8/10
VC12 (VS2013SP1)
Intel/x86
64 bits
4.4.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.4.1 InstallSICStus (32b)
Windows 7/8/10
VC11 (VS2012Upd4)
Intel/x86
64 bits
4.4.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.4.1 InstallSICStus (32b)
Windows 7/8/10
VC10 (VS2010SP1)
Intel/x86
64 bits
4.4.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.4.1 InstallSICStus (32b)
Windows 7/8/10
VC9 (VS2008SP1)
Intel/x86
64 bits
4.4.1 InstallSICStus (64b) InstallSICStus (32b)
Intel/x86
32 bits
4.4.1 InstallSICStus (32b)
macOS 10.13
[High Sierra]
(Darwin 17.0.0)
Intel/x86
64 bits
4.4.1 tar ball (64b)
macOS 10.12
[Sierra]
(Darwin 16.0.0)
Intel/x86
64 bits
4.4.1 tar ball (64b)
OS X 10.11
[El Capitan]
(Darwin 15.0.0)
Intel/x86
64 bits
4.4.1 tar ball (64b)
Linux glibc2.17
(e.g. CentOS/RHEL 7.4)
Intel/x86
64 bits
4.4.1 tar ball (64b)
See here for installation problems on recent Linux, like Ubuntu 18.
Linux glibc2.12
(e.g. CentOS/RHEL 6)
Intel/x86
64 bits
4.4.1 tar ball (64b) tar ball (32b)
Intel/x86
32 bits
4.4.1 tar ball (32b)

If you need access to some other platform, or to an older release, please contact SICStus Support.

Valid HTML 4.01 Transitional