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 or Tcl/Tk.

Microsoft Windows

Download the installer and run it.

Detailed instructions below.

Apple macOS 12 Monterey or later

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

This is an Intel/x86 version but also works well on newer Macs with Apple Silicon hardware, using the macOS built-in Intel emulator. A native version for Apple Silicon is also available, below, but it currently lacks the JIT compiler, and it is slower than the emulated Intel version.

Detailed instructions below.

Linux

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

Detailed instructions below.

SPIDER IDE

Our powerful IDE is a separate download, see the SPIDER page for details.

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.9 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. Usually these can be installed after installing SICStus, if needed.
  • 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.9.0/bin/sicstus).
  5. The sicstus command line tool provides only a minimal top-level, with no built-in command line editing. For a full IDE (Integrated Development Environment), download and install SPIDER.

Windows

Follow these steps.
  1. Optionally, 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.

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

Operating system version numbers denote OS versions where the SICStus Prolog distribution is supported. In general, distributions will work also on newer versions of the same operating systems.

OS Hardware
(64-bit unless indicated)
SICStus
version
Download
Windows 10 Intel/x86 4.9.0 InstallSICStus
Intel/x86
32 bits
4.9.0 please contact SICStus Support
macOS 12
[Monterey]
(Darwin 21.0.0)
Intel/x86 4.9.0 tar ball
macOS 12
[Monterey]
(Darwin 21.0.0)
Apple Silicon/ARM64 4.9.0 tar ball
Linux glibc2.28
(e.g. CentOS/RHEL 8)
Intel/x86 4.9.0 tar ball
ARM64/AARCH64 4.9.0 tar ball

If you need access to some other platform, please contact SICStus Support.

Download Older Version

If you have an older license, you can download SICStus Prolog 4.8 or SICStus Prolog 4.7 below.

SICStus Prolog 4.8

OS Hardware
(64-bit unless indicated)
SICStus
version
Download
Windows 8/10
VC16 (VS2019)
Intel/x86 4.8.0 InstallSICStus
Intel/x86
32 bits
4.8.0 please contact SICStus Support
macOS 10.15
[Mojave]
(Darwin 18.0.0)
Intel/x86 4.8.0 tar ball
macOS 11.4
[Big Sur]
(Darwin 20.0.0)
Apple Silicon/ARM64 4.8.0 tar ball
Linux glibc2.28
(e.g. CentOS/RHEL 8)
Intel/x86 4.8.0 tar ball
ARM64/AARCH64 4.8.0 tar ball
POWER
Little Endian
4.8.0 please contact SICStus Support
Linux glibc2.17
(e.g. CentOS/RHEL 7.4)
Intel/x86 4.8.0 tar ball

SICStus Prolog 4.7

OS Hardware
(64-bit unless indicated)
SICStus
version
Download
Windows 8/10
VC16 (VS2019)
Intel/x86 4.7.1 InstallSICStus
Intel/x86
32 bits
4.7.1 please contact SICStus Support
macOS 10.15
[Mojave]
(Darwin 18.0.0)
Intel/x86 4.7.1 tar ball
macOS 11.4
[Big Sur]
(Darwin 20.0.0)
Apple Silicon/ARM64 4.7.1 tar ball
Linux glibc2.28
(e.g. CentOS/RHEL 8)
Intel/x86 4.7.1 tar ball
ARM64/AARCH64 4.7.1 tar ball
POWER
Little Endian
4.7.1 please contact SICStus Support
Linux glibc2.17
(e.g. CentOS/RHEL 7.4)
Intel/x86 4.7.1 tar ball