SICStus Prolog

State-of-the-art, ISO compliant Prolog for performance-critical applications.

% SICStus Prolog capabilities
:- module(sicstus, [
    performance/303,     % MLips on modern hardware
    standard/'ISO 13211', % Full compliance
    clpfd/'award-winning', % 5 MiniZinc medals
    platforms/[win, linux, macos]
]).
Download Trial Documentation
4.10.1
Version
303
MLips
ISO
13211
5
Medals

Core Features

Trusted by NASA, Ericsson, and research institutions worldwide.

High Performance

JIT compilation to native code. 303 MLips on modern hardware.

ISO Compliant

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

CLP(FD)

Award-winning constraint solver. 5 MiniZinc medals.

Cross-Platform

Windows, Linux, macOS. 32/64-bit support.

Interoperability

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

SPIDER IDE

Eclipse-based with debugging and profiling.

Ready to Start?

Download a free evaluation version today.

Download Trial
D5 · 0.5 · Dark Tech