SICStus
Prolog

State-of-the-art, ISO compliant Prolog development system for enterprise applications.

Download Free Trial

Scroll to explore

By the Numbers

4.10.1

Latest Version

303

MLips Performance

ISO

13211 Compliant

5

MiniZinc Medals

Core Features

High Performance

303 MLips with JIT compilation to native code for x86 platforms.

ISO Standard

Full ISO/IEC 13211-1 compliance with all technical corrigenda.

CLP(FD)

Award-winning constraint solver with 5 MiniZinc medals.

Cross-Platform

Native builds for Windows, Linux, and macOS.

Interoperability

C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON.

SPIDER IDE

Eclipse-based development with debugging and profiling.

Trusted By Industry Leaders

NASA

Clarissa voice-operated procedure browser for International Space Station astronauts.

Ericsson

Network Resource Manager for IP backbone network configuration.

RedPrairie

COPLEX real-time optimization engine for logistics operations.

Get Started Today

Download a free evaluation version and experience SICStus Prolog.

Download Trial

SICStusProlog