State-of-the-art, ISO standard compliant Prolog development system for enterprise applications.
Performance. Achieving 303 million logical inferences per second with JIT compilation to native code, SICStus delivers the speed required for demanding enterprise applications.
Standards compliance. Full ISO/IEC 13211-1 compliance with all technical corrigenda ensures your code is portable and future-proof.
Constraint programming. Our award-winning CLP(FD) solver has earned five MiniZinc Challenge medals, proving its excellence in the international constraint programming community.
Integration. Seamlessly connect with C/C++, Java, .NET, Tcl/Tk, ODBC, XML, and JSON through comprehensive foreign language interfaces.
Development tools. SPIDER, our Eclipse-based IDE, provides source-level debugging, execution profiling, and on-the-fly code analysis.
Clarissa enables astronauts aboard the International Space Station to navigate complex procedures entirely by voice, powered by SICStus Prolog's reliable inference engine.
— NASAOur Network Resource Manager uses SICStus to model and validate complex multi-vendor IP backbone configurations with precision and speed.
— EricssonCOPLEX achieves significant logistics cost savings through SICStus's dynamic constraint solving capabilities.
— RedPrairie