SICStus Prolog Homepage WELCOME TO
SICStus Prolog
Leading Prolog Technology
  SICStus Home > Platforms Download for Evaluation
SICStus Prolog is available for all major platforms

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.

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 Visual Studio 2019, i.e. Visual Studio version 16. Newer versions, e.g. Visual Studio 2022, should also work well. If you need to use an older C compiler, please contact us.

There are distinct SICStus distributions; one 64-bit and one (legacy) 32-bit. 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

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.

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. tcl-devel and installed e.g. as:

% yum install tcl-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 ODBC
Windows Intel/x86
64 bits
1.8 (or later)
download and install
8.6
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
3.52.16
download and install
Apple Silicon (ARM64)
64 bits
1.8 (or later)
download and install
8.5 (*)
pre-installed
3.52.16
download and install
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 (*)
2.3.1
unixODBC-devel
ARM64
64 bits

(*) 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 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 unixodbc-dev