SICStus Prolog is available for all major platforms

SICStus 4 Portability

SICStus Prolog is available under Windows, macOS, and Linux. The download page specifies the minimum supported version of each operating system. See the latest Release Notes for additional details.

Platforms

32 vs. 64 bits

The SICStus distributions are classified 32 or 64 bits. This classification reflects the size of the address space that SICStus Prolog can use. A 32-bit distribution will run on both 32-bit and 64-bit hardware platforms, and will use 32-bit pointers to access memory. A 64-bit distribution will only run on a 64-bit hardware platform, and will use 64-bit pointers to access memory.

The download page provides further details on how to choose distribution.

Prerequisite Software

Windows Prerequisites

If you intend to create executables that use SICStus or write foreign code, you need a C compiler. We currently support

VC16: Visual Studio 2019 (16.5)

If you need to use an older C compiler, please contact us. There are distinct SICStus distributions; one 32-bit and one 64-bit for each variant. The distributions can coexist on the same machine and they take identical license codes.

MacOS Prerequisites

If you intend to create executables that use SICStus or write foreign code, you need a C compiler. If you want to perform a full (not pre-built) install, you also need a working C compiler during installation.

The Apple Xcode development tools are available, for free, from the Apple App Store.

Alternatively, the C compiler can be installed from the command line, with

% xcode-select --install

Linux Prerequisites

On CentOS/RHEL you can install a C compiler and the necessary files with

% sudo yum install gcc

On Ubuntu you can install a C compiler and the necessary files with

% sudo apt-get install gcc libc-dev

See the examples below, for further details.

Prerequisites for Optional Modules

The Tcl/Tk, PrologBeans, Jasper, and ODBC modules require software that is not always installed by default. For each platform supported by our latest release, the following table shows the required version of such software, download links, and brief instructions. For Linux, the relevant Red Hat or CentOS modules to download are annotated e.g. libdb-devel and installed e.g. as:

% yum install libdb-devel

It should be straightforward to find and install the analogous modules for Debian and Ubuntu, see below for some examples.

OS Hardware Prerequisites

Java Tcl/Tk Berkeley DB
(deprecated) ODBC

Windows 8/10 Intel/x86
64 bits 1.8 (or later)
download and install 8.6
download and install (**) 6.2.32
download and install (*) pre-installed

Intel/x86
32 bits

macOS Intel/x86
64 bits 1.8 (or later)
download and install 8.5 (**)
pre-installed 6.2.32
download, build manually and install (*) 3.52.12
download and install

Apple Silicon (ARM64)
64 bits 1.8 (or later)
download and install 8.5 (**)
pre-installed not supported not supported

Linux
glibc2.17
(e.g. CentOS/RHEL 7) Intel/x86
64 bits 1.8 (or later)
java-1.8.0-openjdk-devel 8.5.7
tcl-devel tk-devel (**) 5.3.21
libdb-devel 2.3.1
unixODBC-devel

Linux
glibc2.28
(e.g. CentOS/RHEL 8) Intel/x86
64 bits 1.8 (or later)
java-1.8.0-openjdk-devel 8.6
tcl-devel tk-devel (**) 5.3.28
libdb-devel 2.3.1
unixODBC-devel

POWER
Little Endian
64 bits

ARM64
64 bits

(*) Oracle no longer appears to actively develop and support the Berkeley DB software. In particular, they no longer provide installers for old or current releases of Berkeley DB. This makes it hard to install the dependencies that library(bdb) relies on. For this reason the database library library(bdb) has been deprecated in SICStus Prolog 4.7.0 and library(lmdb) has been introduced as a replacement.

(**) In SICStus 4.7.0 and later, the Tcl/Tk library loads Tcl/Tk at runtime in a way that does not depend on the exact version of Tcl/Tk. This should make it possible to use a newer version of Tcl/Tk than what is specified in the table above.

Examples

To install all prerequisites on CentOS/RHEL 7, you can do

% sudo yum install gcc java-1.8.0-openjdk-devel tcl-devel tk-devel libdb-devel unixODBC-devel

To install all prerequisites on Ubuntu 18.04 LTS, you can do

% sudo apt-get install gcc libc-dev openjdk-8-jdk tcl8.5-dev tk8.5-dev libdb-dev unixodbc-dev

	WELCOME TO SICStus Prolog Leading Prolog Technology

SICStus Home > Platforms	Download for Evaluation


Copyright © 2001-2022 RISE Research Institutes of Sweden AB, Swedish org no: 556464-6874, All Rights Reserved. DUNS: 357295187		For more information on SICStus Prolog, please email SICStus Request.