SICStus Prolog Homepage WELCOME TO
SICStus Prolog
Leading Prolog Technology
  SICStus Home > Download SICStus 3 Download for Evaluation | Search 
Download your copy of SICStus Prolog!

Download your copy of SICStus Prolog!

Download and Installation for SICStus 3

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, the FTP-account password, and the link to this page, are confidential information. You cannot disclose them to third parties or post them on the Internet.

Prerequisites

In order to download and install the binary distributions, you need the following:

Installation

Before installing anything, read the
Release Notes. They contain important information regarding certain platforms, limitations, etc. The online version of the Release Notes might contain important information added since the binary distributions were built. Also, make sure you have your license information ( decryption key, license-code, site-name, and expiration date) on hand.

When you are done installing, consult the user's manual for documentation on the development system.

Mac OS X

The SICStus Installer Tool is strongly recommended. A command line installer can also be used, but requires a full development environment. See the installation instructions for UNIX platforms.

UNIX

The
SICStus Installer Tool is strongly recommended. If you do not wish to use it, follow these steps:
  1. 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.

  2. Execute the installation script by:
    % cd sp-<version>-<platform>
    % ./InstallSICStus
    
    and follow the instructions. The installation-script will ask you some questions about decryption key, 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 session from InstallSICStus.
  3. Launch the development system by executing sicstus, located in the bin sub-directory of the installation path specified to InstallSICStus.

Windows 2000/XP

Follow these steps.
  1. Download the binary distribution.
  2. Double-click on the downloaded .exe file and follow the instructions.
  3. Launch the development system by double-clicking on the spwin icon in the bin directory or use the shortcut in the Start menu.

SICStus Installer Tool

Download SICStus Installer Tool

The SICStus Installer Tool can be used to download, unpack and install a SICStus binary distribution for a non-Windows platform. Download the tool and start it in one of the following ways:

Mac OS X: Double-click on the icon for the tool, i.e. sicstusinstaller.jar
UNIX: Run the Java launcher with the -jar option

% java -jar sicstusinstaller.jar
You should use the same Java that you intend to use with SICStus.

Follow the instructions and help texts in the tool.

The SICStus Installer Tool requires JDK 1.3.1 or later on all platforms except for 64-bit SPARC Solaris, which requires JDK 1.4.0.

Pre-Built Binary Distribution

If a C compiler is not available, you can install SICStus from a "pre-built installation". Pre-built installations are available for Mac OS X, SPARC Solaris, and Linux. Pre-built installation is not recommended if you have a C compiler. Pre-built installations can be installed with the SICStus Installer Tool or by invoking InstallSICStus with the --all-questions option.

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 (Shift-Button1 or Button3 in Netscape).

Hardware OS SICStus
version
Download Comments
Intel/x86/Pentium Windows
2000/XP
3.12.10 InstallSICStus.
Intel/x86/Pentium Mac OS X
(Darwin 8.11.1)
32 bits
3.12.10 SICStus Installer Tool tar ball
available as a last resort. Invoke InstallSICStus with the --all-questions option. When asked if you want to install the "prebuilt" version of SICStus, answer "yes".
Intel/x86/Pentium Mac OS X
(Darwin 8.11.1)
64 bits
3.12.10 SICStus Installer Tool tar ball
available as a last resort. Invoke InstallSICStus with the --all-questions option. When asked if you want to install the "prebuilt" version of SICStus, answer "yes".
Intel/x86/Pentium Linux (glibc2.3)
32 bits
3.12.10patch1 tar ball
Intel/x86/Pentium Linux (glibc2.3)
64 bits
3.12.10patch1 tar ball
Intel/x86/Pentium Linux (glibc2.2) 3.12.8 tar ball
Intel/x86/Pentium Linux (glibc2.1) 3.12.8 tar ball
Intel/x86/Pentium Solaris 10 3.12.10 tar ball
Intel/x86/Pentium Solaris 7 3.12.8 tar ball
IBM RS/6000 AIX 5.1L
32 bits
3.12.10 tar ball
IBM RS/6000 AIX 5.1L
64 bits
3.12.10 tar ball
HPPA HP/UX 11.00 3.12.2 tar ball
MIPS IRIX 6.5 3.12.8 tar ball
SPARC Solaris 10
32 bits
3.12.10 tar ball
SPARC Solaris 7
32 bits
3.12.10 tar ball
SPARC Solaris 7
64 bits
3.12.10 tar ball Non-pre-built installation
requires the
Sun WorkShop[TM] C compiler 5.0
or later.
PowerPC Mac OS X
(Darwin 8.11.0)
3.12.10 SICStus Installer Tool tar ball
available as a last resort. Invoke InstallSICStus with the --all-questions option. When asked if you want to install the "prebuilt" version of SICStus, answer "yes".

Additional files, documentation, and auxiliary programs may be found on our public FTP site.

Download Legacy Version

None of these downloads is supported.

Hardware OS SICStus
version
Download Comments
Intel/x86/Pentium Windows
2000/XP
3.8.7 InstallSICStus.
Intel/x86/Pentium Windows
2000/XP
3.9.1 InstallSICStus.
Intel/x86/Pentium Windows
2000/XP
3.10.1 InstallSICStus.
Intel/x86/Pentium Windows
2000/XP
3.11.2 InstallSICStus.
Intel/x86/Pentium Windows
2000/XP
3.12.3 InstallSICStus.
Intel/x86/Pentium Linux (glibc2.3)
32 bits
3.11.2 tar ball
Intel/x86/Pentium Linux (glibc2.2) 3.9.1 tar ball
Intel/x86/Pentium Linux (glibc2.2) 3.10.1 tar ball
Intel/x86/Pentium Linux (glibc2.2) 3.11.2 tar ball
Intel/x86/Pentium Linux (glibc2.1) 3.8.7 tar ball
Intel/x86/Pentium Linux (glibc2.1) 3.9.1 tar ball
Intel/x86/Pentium Linux (glibc2.1) 3.10.1 tar ball
Intel/x86/Pentium Linux (glibc2.1) 3.11.2 tar ball
Intel/x86/Pentium Linux (glibc2.0) 3.8.6 tar ball
Intel/x86/Pentium Solaris 7 3.8.7 tar ball
Intel/x86/Pentium Solaris 7 3.9.1 tar ball
Intel/x86/Pentium Solaris 7 3.10.1 tar ball
Intel/x86/Pentium Solaris 7 3.11.2 tar ball
Intel/x86/Pentium FreeBSD 4.4 3.8.7 tar ball
Intel/x86/Pentium FreeBSD 4.2 3.8.6 tar ball
Intel/x86/Pentium FreeBSD 3.3 3.8.5 tar ball
IBM RS/6000 AIX 4.3.3 3.11.0 tar ball
IBM RS/6000 AIX 4.3 3.8.7 tar ball
IBM RS/6000 AIX 4.3 3.9.1 tar ball
IBM RS/6000 AIX 5.1L
32 bits
3.10.1 tar ball
IBM RS/6000 AIX 5.1L
32 bits
3.11.2 tar ball
IBM RS/6000 AIX 5.1L
64 bits
3.10.1 tar ball
IBM RS/6000 AIX 5.1L
64 bits
3.11.2 tar ball
Compaq Alpha Tru64 UNIX 5.1 3.10.0 tar ball
Compaq Alpha Tru64 UNIX 5.1 3.8.7 tar ball
Compaq Alpha Tru64 UNIX 5.1 3.9.1 tar ball
Itanium 64bit HP/UX 11.22 3.11.0 tar ball
HPPA HP/UX 11.00 3.8.7 tar ball
HPPA HP/UX 11.00 3.9.1 tar ball
HPPA HP/UX 11.00 3.10.1 tar ball
HPPA HP/UX 11.00 3.11.2 tar ball
MIPS IRIX 6.5 3.8.7 tar ball
MIPS IRIX 6.5 3.9.1 tar ball
MIPS IRIX 6.5 3.10.1 tar ball
MIPS IRIX 6.5 3.11.2 tar ball
SPARC Solaris 7
32 bits
3.8.7 tar ball
SPARC Solaris 7
32 bits
3.9.1 tar ball
SPARC Solaris 7
32 bits
3.10.1 tar ball
SPARC Solaris 7
32 bits
3.11.2 tar ball
SPARC Solaris 7
64 bits
3.8.7 tar ball Non-pre-built installation requires the Sun WorkShop[TM] C compiler 5.0 or later.
SPARC Solaris 7
64 bits
3.9.1 tar ball Non-pre-built installation requires the Sun WorkShop[TM] C compiler 5.0 or later.
SPARC Solaris 7
64 bits
3.10.1 tar ball Non-pre-built installation requires the Sun WorkShop[TM] C compiler 5.0 or later.
SPARC Solaris 7
64 bits
3.11.2 tar ball Non-pre-built installation requires the Sun WorkShop[TM] C compiler 5.0 or later.
PowerPC Mac OS X
(Darwin 1.3.7)
3.8.7 SICStus Installer Tool tar ball available as a last resort
PowerPC Mac OS X
(Darwin 5.5)
3.9.1 SICStus Installer Tool tar ball available as a last resort
PowerPC Mac OS X
(Darwin 6.4)
3.10.1 SICStus Installer Tool tar ball available as a last resort
PowerPC Mac OS X
(Darwin 7.4.0)
3.11.2 SICStus Installer Tool tar ball available as a last resort

Additional files, documentation, and auxiliary programs may be found on our public FTP site.