Leading Prolog Technology
SICStus is a state-of-the-art, ISO
standard compliant, Prolog development system. See
our article.
SICStus is built around a high performance Prolog engine that can use
the full virtual memory space for 32 and 64 bit architectures alike.
SICStus is efficient and robust for large amounts of data and large
applications.
The complete User's Manual is
available on-line
in HTML
and PDF. If desired,
an "on
demand" or ebook version, comprised of the SICStus Prolog 4.3 core manual chapters,
can be purchased from Amazon.
|
|
SICStus provides constraint programming with several constraint
solvers. This technology has been successfully used in commercial
applications as well as in research projects.
SICStus won medals in the 2009, 2014, 2020, 2021, and 2022 MiniZinc Challenges.
A comparison.
|
|
|
SICStus provides support for developing web based applications. The
PrologBeans and JSON modules make it easy to use SICStus Prolog from a Java or
.NET based application server.
|
|
|
Latest Versions
Supported Versions
At least until December 18, 2024
Until December 18, 2024
News
December 18, 2023.
Read More >>>.
November 7, 2023.
Read More >>>.
February 8, 2023.
Read More >>>.
December 6, 2022.
Read More >>>.
September 27, 2022.
Read More >>>.
February 21, 2022.
Read More >>>.
January 26, 2022.
Read More >>>.
August 9, 2021.
Read More >>>.
Customer References
A major application.
NASA
A fully voice-operated procedure browser in SICStus Prolog
has been developed by the NASA Intelligent Systems Division.
Read More >>>
|
|
Pyrosequencing
SICStus Prolog has been used for dispensation order generation for
Pyrosequencing's sequence analysis instruments.
Read More >>>
|
|
RedPrairie
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 >>>
|