 |
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:
- This information is sent via email when ordering a license:
- A key for decrypting the encrypted binaries (UNIX)
or for running the self-extracting Windows installer.
- Your license information, consisting of a site-name,
expiration-date, and a license code (this is not the same as the
decryption key).
- Decryption keys and license codes are version specific.
Keys and codes for version 3.12.x do not work for older versions
and vice versa.
-
UNIX binary distributions require Perl, version 5 or later. The Perl language homepage has binaries
for easy installation.
-
If you want to use the Tcl/Tk library module
(
library(tcltk)), you need to download and install Tcl/Tk 8.4.
This module is not available with the 64-bit distributions.
-
If you want to use the Berkeley DB library module
(
library(bdb)), you need to download and install
Berkeley DB 4.1.24 for
SICStus 3.10.0 or later, or
Berkeley DB 4.0.14 for
SICStus 3.9.0 or later, or
Berkeley DB 2.7.7 for
earlier SICStus versions.
-
If you want to use the Java interface, you need to download
and install Sun Java. JDK 1.3.1
or later is recommended).
-
Any other limitations are mentioned in the Release Notes.
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:
-
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.
-
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.
-
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.
-
Download the binary distribution.
-
Double-click on the downloaded
.exe file and follow the instructions.
-
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
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.
|