SICStus Prolog
State-of-the-art, ISO standard compliant Prolog development system. Built for performance, reliability, and enterprise applications. Trusted by NASA, Ericsson, and leading research institutions worldwide.
Download Free Trial View DocumentationCore Features
⚡ High Performance
303 MLips with JIT compilation to native code for x86 platforms. Handle massive datasets with ease.
✓ ISO Compliant
Full ISO/IEC 13211-1 standard with all technical corrigenda. Write portable code.
▦ CLP(FD)
Award-winning constraint solver. MiniZinc Challenge medals in 2009, 2014, 2020, 2021, 2022.
🌐 Cross-Platform
Native support for Windows, Linux, and macOS. 32-bit and 64-bit architectures.
↔ Interoperability
C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON, MiniZinc integration.
🖥 SPIDER IDE
Eclipse-based IDE with debugging, profiling, and on-the-fly code analysis.
Download SICStus Prolog
Documentation
User Manual
Comprehensive guide to SICStus Prolog features and usage.
API Reference
Complete reference for built-in predicates and libraries.
Tutorials
Step-by-step guides for common tasks.
Release Notes
What's new in each version.
FAQ
Answers to frequently asked questions.
SPIDER Guide
Getting started with the SPIDER IDE.
Customer Success Stories
NASA
Clarissa is a fully voice-operated procedure browser for the International Space Station, helping astronauts navigate complex procedures hands-free using SICStus Prolog.
Ericsson
Network Resource Manager uses SICStus for modeling and validating complex multi-vendor IP backbone network configurations.
RedPrairie
COPLEX real-time optimization engine for logistics, achieving significant cost savings through dynamic constraint solving.