SICStus Prolog Homepage WELCOME TO
SICStus Prolog
Leading Prolog Technology
  SICStus Home Download for Evaluation


Leading Prolog Technology

SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system.

SICStus is built around a high performance Prolog engine that can use the full virtual memory space. SICStus Prolog is efficient and robust for large amounts of data and large applications.

See our recent article. You can also browse the manul on-line, or buy a printed or ebook version at Amazon.

CONSTRAINTS   Constraint Programming
SICStus Prolog provides constraint programming with several constraint solvers. This technology has been successfully used in commercial applications as well as in research projects. A comparison.

JSP   Web Based Applications with SICStus and Java or .NET
SICStus Prolog has integrated support for developing web based applications. The new module, PrologBeans, makes it easy to use SICStus Prolog from a Java or .NET based application server.

Latest Versions

SICStus: 4.3.0
SPIDER: 0.0.52


SICStus 4.3.0 released
May 13, 2014. Read More >>>.
SICStus 4.2.3 released
Oct 8, 2012. Read More >>>.
SICStus 4.2.1 released
Feb 1, 2012. Read More >>>.
SICStus 4.2.0 released
Mar 8, 2011. Read More >>>.
SICStus 4.1.3 released
Sep 23, 2010. Read More >>>.
SICStus 4.1.2 released
Apr 29, 2010. Read More >>>.
SICStus 4.1.1 released
Dec 16, 2009. Read More >>>.
SICStus 4.1.0 and SPIDER released
Dec 11, 2009. Read More >>>.
SICStus 4.0.0 released
Mar 1, 2007. Read More >>>.

Customer References

A major application.

A fully voice-operated procedure browser in SICStus Prolog has been developed by the NASA Intelligent Systems Division. Read More >>>
SICStus Prolog has been used for dispensation order generation for Pyrosequencing's sequence analysis instruments. Read More >>>
A leading provider of real-time logistics solutions has developed a real-time optimization engine, using constraint programming with SICStus. Read More >>>

More customer references >>>

Valid HTML 4.01 Transitional