CINXE.COM
SICStus Prolog Homepage
<!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> > Documentation </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> <h1>Documentation and Manuals</h1> <h2>Documentation for SICStus Prolog 4.9.0</h2> <table style="width: 100%; border-collapse: collapse; border: 0;"> <tr> <td class="valign_top"> <h3>User's Manual</h3> <ul> <li> <a href="/sicstus/docs/latest4/html/sicstus.html">HTML</a>, <a href="/sicstus/docs/latest4/html/sicstus.tar.gz">gzipped tar-file</a>, <a href="/sicstus/docs/latest4/html/sicstus.zip">zip-file</a>. </li> <li> <a href="/sicstus/docs/latest4/pdf/sicstus.pdf">PDF</a> (for Adobe Acrobat Reader). </li> </ul> <p> The SICStus 4.3 manual is now <a href="https://www.amazon.co.uk/dp/B00KX3XI4Y">available at Amazon</a> both as a Kindle ebook and in a printed edition. <h3>Release Notes</h3> <ul> <li> <a href="/sicstus/docs/latest4/html/relnotes.html">HTML</a>, <a href="/sicstus/docs/latest4/html/relnotes.tar.gz">gzipped tar-file</a>, <a href="/sicstus/docs/latest4/html/relnotes.zip">zipped</a>. </li> <li><a href="/sicstus/docs/latest4/pdf/relnotes.pdf">PDF</a> (for Adobe Acrobat Reader). </li> </ul> <h3>Documentation for PrologBeans (javadoc)</h3> <ul> <li> <a href="/sicstus/docs/latest4/html/prologbeans/">HTML</a>, <a href="/sicstus/docs/latest4/html/prologbeans.tar.gz">gzipped tar-file</a>, <a href="/sicstus/docs/latest4/html/prologbeans.zip">zip-file</a>. </li> </ul> <h3>Documentation for PrologBeans.NET (javadoc)</h3> For documentation of the .NET/C# version of PrologBeans, we refer to the source code and to the Java documentation above. <h3>Documentation for Jasper (javadoc)</h3> <ul> <li> <a href="/sicstus/docs/latest4/html/jasper/">HTML</a>, <a href="/sicstus/docs/latest4/html/jasper.tar.gz">gzipped tar-file</a>, <a href="/sicstus/docs/latest4/html/jasper.zip">zip-file</a>. </li> </ul> <h3><a href="/sicstus/docs/index-older4.html">Documentation for older versions</a></h3> </td> <td style="width: 30px;"> </td> <td style="width: 100px;" class="valign_top align_center"> <img alt="DOCS" src="images/docs.JPG"> <p><a target="_blank" href="https://get.adobe.com/reader/"><img alt="Acrobat" src="images/getacro.gif"></a></p>. <p><a target="_blank" href="https://www.gnu.org/software/emacs/"><img alt="GNU Emacs" height="88" width="88" src="images/gnu-head-sm.jpg"><br> GNU Emacs</a></p> </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>