Download your copy of SICStus Prolog!

Download and Installation for SICStus 4

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 and the download password are confidential information. You cannot disclose them to third parties or post them on the Internet.

Prerequisites

• 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 release 4 do not work for older versions and vice versa.
• UNIX distributions require a C compiler for a fully functional installation. On many systems the C compiler is not installed by default so you need to install the C compiler separately. A C compiler is typically available, for free, from the OS vendor.

  In particular, Solaris and Mac OS X do not have a C compiler installed by default. This is also true for some Linux distributions.

• UNIX distributions require Perl, version 5 or later. Recent operating systems should already have a suitable version of Perl installed. If not, the Perl language homepage has binaries for easy installation.
• Certain library modules require optional third-party software. Such software is described here.
• Any other limitations are mentioned in the Release Notes.

Installation

When you are done installing, consult the release notes and user's manual for documentation. If you are migrating code from release 3, the following sections may be useful: What Is New In Release 4 and Guide to Porting Code from Release 3

UNIX

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>
   % sudo ./InstallSICStus
   

   and follow the instructions. You only need to use sudo if you install SICStus in a global location, like /usr/local.

   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 XP/Vista/7

1. Download and install the prerequisites.
2. Download the binary distribution.
3. Double-click on the downloaded .exe file and follow the instructions.
4. Launch the development system by double-clicking on the spwin icon in the bin directory or use the shortcut in the Start menu.
5. Optionally, install the third-party software needed for some modules.

Pre-Built Binary Distribution

Download Latest Version

See also here for a table of links for downloading optional third-party software, which is a prerequisite for certain modules and should be installed before installing SICStus Prolog.

For 64 bit platforms, two download links are provided, since a 32-bit distribution will run on both 32-bit and 64-bit hardware. However, the default word size can be 32 bits even on a 64 bit platform. When two download links are given, the first one is the choice that matches the default word size.

For Windows, which distribution to choose depends on the version of Visual Studio that is installed on your PC. This only matters of you plan to build stand-alone executables or write foreign code. The first Windows row corresponds to Visual Studio 2010 SP1 a.k.a. VS10. The second Windows row corresponds to Visual Studio 2008 SP1 a.k.a. VS9. The third Windows row corresponds to Visual Studio 2005 SP1 a.k.a. VS8. The three distributions can coexist on the same machine and they take identical license codes.

OS	Hardware	SICStus version	Download 1st choice	Download 2nd choice
Windows XP/Vista/7 VS10	Intel/x86/Pentium	4.2.1	InstallSICStus
Windows XP/Vista/7 VS9	Intel/x86/Pentium	4.2.1	InstallSICStus
Windows XP/Vista/7 VS8	Intel/x86/Pentium	4.2.1	InstallSICStus
Linux glibc2.7	Intel/x86/Pentium 32 bits	4.2.0	tar ball, 32 bits
	Intel/x86/Pentium 64 bits	4.2.1	tar ball, 64 bits
Linux glibc2.5	Intel/x86/Pentium 32 bits	4.2.1	tar ball, 32 bits
	Intel/x86/Pentium 64 bits	4.2.1	tar ball, 64 bits	tar ball, 32 bits
	PowerPC 32 bits	4.2.1	tar ball, 32 bits
	PowerPC 64 bits	4.2.1	tar ball, 64 bits	tar ball, 32 bits
Linux glibc2.3	Intel/x86/Pentium 32 bits	4.2.0	tar ball, 32 bits
	Intel/x86/Pentium 64 bits	4.2.1	tar ball, 64 bits
Solaris 10	Intel/x86/Pentium 32 bits	4.2.1	tar ball, 32 bits
	Intel/x86/Pentium 64 bits	4.2.1	tar ball, 32 bits	tar ball, 64 bits
	SPARC 32 bits	4.2.1	tar ball, 32 bits
	SPARC 64 bits	4.2.1	tar ball, 32 bits	tar ball, 64 bits
Solaris 8	SPARC 32 bits	4.2.1	tar ball, 32 bits
	SPARC 64 bits	4.2.1	tar ball, 32 bits	tar ball, 64 bits
Mac OS X 10.7 [Lion] (Darwin 11.0.0)	Intel/x86/Pentium 64 bits	4.2.1	tar ball, 64 bits	tar ball, 32 bits
	Intel/x86/Pentium 32 bits	4.2.1	tar ball, 32 bits
Mac OS X 10.6 [Snow Leopard] (Darwin 10.0.0)	Intel/x86/Pentium 64 bits	4.2.1	tar ball, 64 bits	tar ball, 32 bits
	Intel/x86/Pentium 32 bits	4.2.1	tar ball, 32 bits
Mac OS X 10.5 [Leopard] (Darwin 9.8.0)	Intel/x86/Pentium 32 bits	4.2.1	tar ball, 32 bits
	Intel/x86/Pentium 64 bits	4.2.1	tar ball, 32 bits	tar ball, 64 bits