WELCOME TO SICStus Prolog 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. Prerequisite SoftwareWindows PrerequisitesIf you intend to create executables that use SICStus or write foreign code, you need a C compiler. We currently support Visual Studio 2019, i.e. Visual Studio version 16. Newer versions, e.g. Visual Studio 2022, should also work well. If you need to use an older C compiler, please contact us. There are distinct SICStus distributions; one 64-bit and one (legacy) 32-bit. The distributions can coexist on the same machine and they take identical license codes. 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 command 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 gccOn Ubuntu you can install a C compiler and the necessary files with % sudo apt-get install gcc libc-devSee the examples below, for further details. Prerequisites for Optional ModulesThe Tcl/Tk, 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. tcl-devel and installed e.g. as: % yum install tcl-devel It should be straightforward to find and install the analogous modules for Debian and Ubuntu, see below for some examples.
(*) In SICStus 4.7.0 and later, the Tcl/Tk library loads Tcl/Tk at runtime in a way that does not depend on the exact version of Tcl/Tk. This should make it possible to use a newer version of Tcl/Tk than what is specified in the table above. 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 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 unixodbc-dev |