CINXE.COM

<!DOCTYPE HTML> <html lang="en"> <head> <meta http-equiv="Content-Type" content="text/html;charset=utf-8"> <meta NAME="keywords" CONTENT="prolog,free prolog,logic programming,sicstus,compiler,constraint,finite domain,iso,optimization,scheduling,planning,resource allocation,WAM,artificial intelligence,expert system,.NET,ODBC,Tcl/Tk,Java,BDB"> <meta NAME="description" CONTENT="SICStus Prolog is a state-of-the-art, ISO standard compliant, Prolog development system"> <title>SICStus Prolog Homepage</title> <LINK href="style.css" rel="stylesheet" type="text/css"> <LINK REL="SHORTCUT ICON" HREF="images/favicon.ico"> </head> <body> <div class="header"> <table class="table_860"> <tr> <td> <img alt="SICStus Prolog Homepage" SRC="images/logo_v4.jpg"> </td> <td class="align_right"> <span class="header1"> WELCOME TO<br> </span> <span class="header2"> SICStus Prolog<br> </span> <span class="header3"> Leading Prolog Technology </span> </td> </tr> <tr class="headersep"><td colspan="2"></td></tr> <tr class="headerfoot"> <td class="align_left">  <a href="index.html">SICStus Home</a> </td> <td class="align_right"> <a href="eval.html">Download for Evaluation</a> </td> </tr> <tr class="headersep"><td colspan="2"></td></tr> </table> </div> <div class="menu"> <ul class="menu"> <li class="menuhead1"> About SICStus Prolog</li> <li><a href="index.html">Start Page</a></li> <li><a href="highlights.html">Feature Highlights</a></li> <li><a href="performance.html">Performance</a></li> <li><a href="portability.html">Platforms</a></li> <li><a href="spider/index.html">The Spider IDE</a></li> <li><a href="documentation.html">Documentation</a></li> <li><a href="comingfeatures.html">Coming Features</a></li> <li><a href="dontpanic.html">Don't Panic!</a></li> <li class="menuhead"> Sales and Support</li> <li><a href="customers.html">Customers</a></li> <li><a href="eval.html">Evaluate Product</a></li> <li><a href="order4.html">Pricing/Order Info</a></li> <li><a href="download4.html">Download SICStus</a></li> <li><a href="support.html">Support</a></li> <li class="menuhead"> Add-Ons & Third Party</li> <li><a href="rex.html">Extended Runtime</a></li> <li><a href="thirdparty.html">Other</a></li> <li class="menuhead"> More Information</li> <li><a href="contactinfo.html">Contact Information</a></li> <li><a href="community.html">Community</a></li> <li><a href="links.html">Links</a></li> </ul> </div> <table class="table_690"><tr><td> <script data-jsd-embedded data-key="6397f52a-778e-42bb-97de-92bb4cebf178" data-base-url="https://embedded-jsd.atlassian.io" src="https://embedded-jsd.atlassian.io/assets/embed.js"></script> <table class="table_width_100_percent_cellpadding_0_cellspacing_0_border_0"> <tr> <td class="valign_top"> <p class="caption"> <img alt="lead" src="images/lead.JPG"> </p> <h2>Leading Prolog Technology</h2> <p> SICStus is a state-of-the-art, <a target="_blank" href="https://webstore.ansi.org/RecordDetail.aspx?sku=BS+ISO%2fIEC+13211-1%3a1995">ISO standard compliant</a>, Prolog development system. See our <a target="_blank" href="https://arxiv.org/abs/1011.5640">article</a>. </p> <p> 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. </p> <p> The complete User's Manual is available <a href="documentation.html">on-line</a> in <a href="/sicstus/docs/latest4/html/sicstus.html">HTML</a> and <a href="/sicstus/docs/latest4/pdf/sicstus.pdf">PDF</a>. If desired, an <a target="_blank" href="https://a.co/d/ggKV5kD">"on demand" or ebook version</a>, comprised of the SICStus Prolog 4.3 core manual chapters, can be purchased from Amazon. </p> <hr class="hr_noshade_size_1"> <br> <table class="table_cellspacing_0_cellpadding_0"> <tr> <td class="valign_top"> <a target="_blank" href="https://www.minizinc.org/challenge2023/results2023.html"><img alt="MZNC2023" width="480" src="images/MiniZinc-Challenge-2023-Silver-480.jpg" class="align_left"></a></td> </tr> </table> <table class="table_cellspacing_2_cellpadding_3"> <tr><td class="valign_top"> <img alt="CONSTRAINTS" src="images/constraint_net.png" class="align_left"></td> <td> </td><td> <span style="font-size: smaller"> <span class="header4">Constraint Programming</span><br> 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 target="_blank" href="https://dx.doi.org/10.1023/A:1009816801567">A comparison.</a> <br><br><br> </span> </td></tr> <tr><td class="valign_top"> <img alt="JSP" src="images/jspcode.png" class="align_left"></td> <td> </td><td> <span style="font-size: smaller"> <span class="header4">Web Based Applications with SICStus and Java or .NET</span><br> 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. </span> </td></tr> </table> </td> <td style="width: 5%;"> </td> <td style="width: 30%;" class="valign_top"> <h3>Latest Versions</h3> <span class="newsheader">SICStus: 4.9.0</span><br> <span class="newsheader"><a href="spider/index.html">SPIDER</a>: 0.0.79</span><br> <h3>Supported Versions</h3> <span style="font-size: x-small"> <span class="newsheader">SICStus 4.9.0</span><br> At least until December 18, 2024<br> <span class="newsheader">SICStus 4.8.0</span><br> Until December 18, 2024<br> </span> <h3>News</h3> <span style="font-size: x-small"> <span class="newsheader">SICStus 4.9.0 released</span><br> December 18, 2023. <a href="/sicstus/docs/4.9.0/html/relnotes/latest_002dchanges.html">Read More >>></a>. <br> <span class="newsheader">SICStus IDE 0.0.79 (SPIDER) released</span><br> November 7, 2023. <a href="spider/releases.html#0_0_79">Read More >>></a>. <br> <span class="newsheader">SICStus IDE 0.0.78 (SPIDER) released</span><br> February 8, 2023. <a href="spider/releases.html#0_0_78">Read More >>></a>. <br> <span class="newsheader">SICStus 4.8.0 released</span><br> December 6, 2022. <a href="/sicstus/docs/4.8.0/html/relnotes/latest_002dchanges.html">Read More >>></a>. <br> <span class="newsheader">SICStus IDE 0.0.77 (SPIDER) released</span><br> September 27, 2022. <a href="spider/releases.html#0_0_77">Read More >>></a>. <br> <span class="newsheader">SICStus IDE 0.0.76 (SPIDER) released</span><br> February 21, 2022. <a href="spider/releases.html#0_0_76">Read More >>></a>. <br> <span class="newsheader">SICStus 4.7.1 released</span><br> January 26, 2022. <a href="/sicstus/docs/4.7.1/html/relnotes/latest_002dchanges.html">Read More >>></a>. <br> <span class="newsheader">SICStus 4.7.0 released</span><br> August 9, 2021. <a href="/sicstus/docs/4.7.0/html/relnotes/latest_002dchanges.html">Read More >>></a>. <br> </span> <br> <h3>Customer References</h3> <p> <span style="font-size: smaller"> <a target="_blank" href="https://link.springer.com/chapter/10.1007/11562931_4">A major application.</a> </span> </p> <table class="table_width_94_percent_cellpadding_3"> <tr><td style="background-color: #e0e0ff;"> <span style="font-size: smaller"> <span class="bold">NASA</span><br> A fully voice-operated procedure browser in SICStus Prolog has been developed by the NASA Intelligent Systems Division. <a href="customers.html">Read More >>></a> </span> </td></tr> <tr><td> </td></tr> <tr><td style="background-color: #e0e0ff;"> <span style="font-size: smaller"> <span class="bold">Pyrosequencing</span><br> SICStus Prolog has been used for dispensation order generation for Pyrosequencing's sequence analysis instruments. <a href="customers.html">Read More >>></a> </span> </td></tr> <tr><td> </td></tr> <tr><td style="background-color: #e0e0ff;"> <span style="font-size: smaller"> <span class="bold">RedPrairie</span><br> A leading provider of real-time logistics solutions has developed a real-time optimization engine, using constraint programming with SICStus. <a href="customers.html">Read More >>></a> </span> </td></tr> </table> <br> <a href="customers.html"> <span style="font-size: small"> More customer references >>> </span> </a> </td> </tr> </table> </td></tr></table> <div class="footer"> <table style="width: 600px; border-collapse: collapse; border: 0;"> <tr> <td colspan="3"> <br><br><br><br> <hr> </td> </tr> <tr> <td class="align_left"> Copyright © 2001-2024 <a href="https://www.ri.se/">RISE Research Institutes of Sweden AB,<br>Swedish org no: 556464-6874</a>, All Rights Reserved.<br>DUNS: 357295187<br> </td> <td class="align_center"> </td> <td class="align_right"> For more information on SICStus Prolog,<br> please email <a href="mailto:sicstus-request@ri.se">SICStus Request</a>. </td> </tr> </table> </div> </body> </html>