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> > Useful Links </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> <table class="image table_align_right table_cellpadding_zero"> <tr><td class="align_center"><img src="images/links.JPG" alt="Useful links for the SICStus user"></td></tr> <tr><td class="align_center"><p class="caption">Useful links for the SICStus user</p></td></tr> </table> <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>Useful Links</h1> <h2>Blogs</h2> <ul> <li>Håkan Kjellerstrand's <a target="_blank" href="http://www.hakank.org/constraint_programming_blog/">Constraint Programming blog</a> and <a target="_blank" href="http://www.hakank.org/sicstus/">SICStus Prolog page</a> </li> <li><a target="_blank" href="https://www.rangakrish.com/">Rangarajan Krishnamoorthy on Programming and Other Topics blog</a> </li> </ul> <h2>Courses and Tutorials</h2> <ul> <li>W. Hett's <A TARGET="_blank" HREF="https://web.archive.org/web/20230528045448/https://sites.google.com/site/prologsite/prolog-problems">P-99: Ninety-Nine Prolog Problems</A> </li> <li>K. Striegnitz's <a target="_blank" href="http://www.learnprolognow.org/">Learn Prolog Now!</a> </li> <li>R. Barták's <A TARGET="_blank" HREF="https://kti.mff.cuni.cz/~bartak/prolog/">On-Line guide to Prolog Programming</A> </li> <li>P. B. Reintjes's <A TARGET="_blank" HREF="https://www.cs.auckland.ac.nz/~j-hamer/07.363/prolog-for-se.html"> tutorial for software engineering with Prolog</A> </li> <li>J. Paine's <A TARGET="_blank" HREF="https://www.j-paine.org/prolog/mathnotes/files/pms/pms.html">Introduction to Prolog for Mathematicians</A> </li> <li>P. Hancox's <a target="_blank" href="https://www.cs.bham.ac.uk/~pjh/prolog_course/se207.html">Prolog course material (based on SICStus)</a> </li> <li> <a target="_blank" href="https://cliplab.org/~logalg/">Material from an extensive course</a> given at <a target="_blank" href="https://cliplab.org/">CLIP, University of Madrid</a> </li> <li>R. Barták's <A TARGET="_blank" HREF="https://kti.mff.cuni.cz/~bartak/constraints/">On-Line guide to Constraint Programming</A> </li> <li>T. Frühwirth's <a target="_blank" href="https://www.informatik.uni-ulm.de/pm/mitarbeiter/fruehwirth/pisa/index.html">Constraint Programming course</a> </li> </ul> <h2>Prolog and Constraint Resources</h2> <ul> <li><A TARGET="_blank" HREF="https://groups.google.com/group/comp.lang.prolog/topics">comp.lang.prolog</A> hosted by <A TARGET="_blank" HREF="https://www.google.com/">Google</A> </li> <li> <a target="_blank" href="https://en.wikipedia.org/wiki/Logic_programming">Logic programming - Wikipedia</a> </li> <li> <a target="_blank" href="https://en.wikipedia.org/wiki/Comparison_of_Prolog_implementations">Comparison of Prolog implementations - Wikipedia</a> </li> <li> <a target="_blank" href="http://www.faqs.org/faqs/prolog/resource-guide/">Prolog Resource Guide and Prolog Implementations</a> </li> <li> <a target="_blank" href="https://cliplab.org/lpnet/index.html">LPNet—information related to Prolog, Computational Logic, Internet, and the WWW</a> </li> <li> <a target="_blank" href="https://www.logic.at/prolog/faq/">Frequently Asked Questions - comp.lang.prolog</a> </li> <li> <a target="_blank" href="https://webstore.ansi.org/RecordDetail.aspx?sku=BS+ISO%2fIEC+13211-1%3a1995">The ISO Prolog Standard</a> </li> <li><a TARGET="_blank" HREF="https://journals.cambridge.org/action/displayJournal?jid=TLP">Theory and Practice of Logic Programming</A> </li> <li><a TARGET="_blank" HREF="https://link.springer.com/journal/10601">Constraints—An International Journal</A> </li> <li><A TARGET="_blank" HREF="https://www.it.uu.se/research/NordConsNet/">NordConsNet</A> </li> <li> <a target="_blank" href="https://sofdem.github.io/gccat/">Global Constraint Catalog</a> </li> </ul> </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-2025 <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>