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 Vista/7/8, Linux, Solaris and Mac OS X. See the latest Release Notes for 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 Vista/7/8 Prerequisites

If you intend to create executables that use SICStus or write foreign code, you need a C compiler, one of:
VC12
Visual Studio 2013 with Service Pack 1
VC11
Visual Studio 2012 Update 4
VC10
Visual Studio 2010 with Service Pack 1
VC9
Visual Studio 2008 with Service Pack 1
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.

Prerequisites for Optional Modules

The 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. db4-devel and installed e.g. as:
% yum install db4-devel
It should be straightforward to find and install the analogous modules for Debian and Ubuntu.

O/S Hardware Prerequisites
Java Tcl/Tk Berkeley DB ODBC
Windows Vista/7/8
VC12
Intel/x86
32 bits
1.7
download and install
8.5.15
download and install
6.0.30
download and install
pre-installed
Intel/x86
64 bits
6.0.30
download, build manually and install
Windows Vista/7/8
VC11
Intel/x86
32 bits
1.7
download and install
8.5.15
download and install
6.0.30
download and install
pre-installed
Intel/x86
64 bits
6.0.30
download, build manually and install
Windows Vista/7/8
VC10
Intel/x86
32 bits
1.7
download and install
8.5.15
download and install
6.0.30
download and install
pre-installed
Intel/x86
64 bits
6.0.30
download, build manually and install
Windows Vista/7/8
VC9
Intel/x86
32 bits
1.7
download and install
8.5.15
download and install
6.0.30
download and install
pre-installed
Intel/x86
64 bits
6.0.30
download, build manually and install
Linux
glibc2.12
(e.g. CentOS/RHEL 6)
Intel/x86
32 bits
1.6
java-1.6.0-openjdk-devel
8.5.7
tcl-devel tk-devel
4.7.25
db4-devel
2.2.14
unixODBC-devel
Intel/x86
64 bits
1.6
java-1.6.0-openjdk-devel.x86_64
8.5.7
tcl-devel.x86_64 tk-devel.x86_64
4.7.25
db4-devel.x86_64
Power
64 bits
1.6
java-1.6.0-openjdk-devel
8.5.7
tcl-devel tk-devel
4.7.25
db4-devel
Linux
glibc2.5
(e.g. CentOS/RHEL 5)
Intel/x86
32 bits
1.6
java-1.6.0-openjdk-devel
8.4.13
tcl-devel tk-devel
4.3.29
db4-devel
2.2.14
unixODBC-devel
Intel/x86
64 bits
OS X 10.10
(Yosemite)
Intel/x86
64 bits
1.7
download and install
8.5.9
pre-installed
6.0.30
download, build manually and install
3.52.7
iodbc-sdk-3.52.7-macosx-10.5.dmg
OS X 10.9
(Mavericks)
Intel/x86
64 bits
1.7
download and install
8.5.9
pre-installed
6.0.30
download, build manually and install
3.52.7
iodbc-sdk-3.52.7-macosx-10.5.dmg
OS X 10.8
(Mountain Lion)
Intel/x86
64 bits
1.7
download and install
8.5.9
pre-installed
6.0.30
download, build manually and install
pre-installed
OS X 10.7
(Lion)
Intel/x86
64 bits
1.6
pre-installed
8.5.9
pre-installed
6.0.30
download, build manually and install
pre-installed
Intel/x86
32 bits
Solaris 10 Intel/x86
32 bits
1.6
download and install
8.4.14
download, build manually and install
6.0.30
download, build manually and install
n/a
Intel/x86
64 bits
n/a n/a
SPARC
32 bits
8.3 6.0.30
download, build manually and install
SPARC
64 bits
n/a n/a

Valid HTML 4.01 Transitional