SICStus Prolog
State-of-the-art, ISO standard compliant Prolog development system for high-performance enterprise applications.
Quick Start
% Start the SICStus interpreter $ sicstus % Load a file | ?- consult('myprogram.pl'). % Run a query | ?- solve(X, Y, Z). X = 1, Y = 2, Z = 3
Key Features
⚡ High Performance
303 MLips with JIT compilation to native code for x86 platforms.
✓ ISO Compliant
Full ISO/IEC 13211-1 standard with all technical corrigenda.
▦ CLP(FD) Solver
Award-winning constraint solver, 5 MiniZinc medals.
↔ Interoperability
C/C++, Java, .NET, Tcl/Tk, ODBC, XML, JSON.
CLP(FD) Example
:- use_module(library(clpfd)). % SEND + MORE = MONEY puzzle puzzle([S,E,N,D,M,O,R,Y]) :- Digits = [S,E,N,D,M,O,R,Y], Digits ins 0..9, all_different(Digits), S #\= 0, M #\= 0, 1000*S + 100*E + 10*N + D + 1000*M + 100*O + 10*R + E #= 10000*M + 1000*O + 100*N + 10*E + Y, label(Digits).
Platform Support
| Platform | 32-bit | 64-bit |
|---|---|---|
| Windows | ✓ | ✓ |
| Linux | ✓ | ✓ |
| macOS | — | ✓ |
Available Interfaces
| Interface | Description |
|---|---|
| C/C++ | Native integration for performance-critical code |
| Java | Jasper interface for JVM integration |
| .NET | Full .NET/CLR interoperability |
| Tcl/Tk | GUI development support |
| ODBC | Database connectivity |
| MiniZinc | Constraint modeling language |