Leading Prolog Technology
|SICStus Home > Platforms||Download for Evaluation|
SICStus 4 PortabilitySICStus 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.
32 vs. 64 bitsThe 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.
Windows PrerequisitesIf you intend to create executables that use SICStus or write foreign code, you need a C compiler, one of:
MacOS PrerequisitesIf 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 commend line, with
% xcode-select --install
Linux PrerequisitesIf 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 ModulesThe Tcl/Tk, Berkeley DB, 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-develIt should be straightforward to find and install the analogous modules for Debian and Ubuntu, see below for some examples.
ExamplesTo 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