SICStus Prolog

SICStus Prolog

State-of-the-Art Logic Programming

Version 4.10.1 Now Available with Enhanced Performance

ISO standard compliant Prolog development system delivers 303 MLips with JIT compilation. Trusted by NASA, Ericsson, and research institutions worldwide.

Download Free Trial

CLP(FD) Wins Fifth MiniZinc Medal

Award-winning constraint solver continues dominance in international competition. Recognized for excellence in 2009, 2014, 2020, 2021, and 2022.

SPIDER IDE Gets Major Update

Eclipse-based development environment now features improved debugging, execution profiling, and on-the-fly code analysis.

Full Cross-Platform Support

Native builds for Windows, Linux, and macOS. Both 32-bit and 64-bit architectures fully supported.

Key Features

High Performance

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

ISO Compliance

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

Constraint Solving

Award-winning CLP(FD), CLP(B), and CLP(R) libraries.

Interoperability

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

Development Tools

SPIDER IDE, source debugger, execution profiler.

Documentation

Comprehensive manual, tutorials, and API reference.

Product

Documentation

Interfaces

Support

Design 22