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> > Third Party Software </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/3rdparty.JPG" alt="Third party software for SICStus Prolog"></td></tr> <tr><td class="align_center"><p class="caption">Third party software for SICStus Prolog</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>Third Party Software</h1> <h2>Development Tools</h2> <dl> <dt> <a target="_blank" href="https://www.logtalk.org/">Logtalk</a> <dd> is an open-source object-oriented extension to Prolog. </dd> <dt> <a target="_blank" href="https://www.let.rug.nl/~vannoord/prolog-rx/">Prolog-RX</a> <dd> An interface to ISO regular expression functions. </dd> <DT> <a target="_blank" href="https://www.let.rug.nl/~vannoord/Fsa/fsa.html">FSA Utilities</a> <DD> is a package providing finite state automaton operations (intersection, determinization, minimalization, intersection...). The program is able to produce representations of finite state automaton in formats compatible with several visualization tools. </DD> <DT> <a target="_blank" href="https://www.let.rug.nl/~vannoord/Elex">Elex scanner generator</a> <DD> is a program like (f)lex, but it supports multiple (output) languages including Prolog. </DD> <DT> <A target="_blank" HREF="https://www.fernuni-hagen.de/wbs/typical-0.6/tap_examples/Demo/index.html">Typical</A> <DD> is a tool for static type analysis of Prolog which allows ordered types and refined predicate declarations. </DD> <dt> <a target="_blank" href="https://github.com/danieldk/sics-zlib">SICS-ZLib</a> <dd> A simple SICStus zlib module. </dd> <DT> <A target="_blank" HREF="https://binding-time.co.uk/index.php/Parsing_XML_with_Prolog">xml.pl</A> <DD> A module for parsing XML with Prolog. <strong>Bundled with SICStus Prolog.</strong> </DD> <dt> <a target="_blank" href="https://github.com/yoroto/prolog-xml-stream-parser">XML Stream Parser for SICStus Prolog</a> <dd> XML Stream Parser for SICStus Prolog. </dd> <dt> <a target="_blank" href="https://github.com/yoroto/pl-json">PL-JSON</a> <dd> A JSON parser for SICStus Prolog. </dd> <dt> <a target="_blank" href="https://github.com/stupaq/slr-parser">slr-parser</a> <dd> An SLR(1) parser written in SICStus Prolog. </dd> <dt> <a target="_blank" href="https://github.com/AAAI-DISIM-UnivAQ/PySicstus">PySicstus</a> <dd> Python class for meta-management of SICStus Prolog processes. </dd> </dl> <h2>WWW and Multi-Agent Programming Tools</h2> <dl> <DT> <A target="_blank" HREF="http://www.ai.sri.com/~oaa/">The Open Agent Architecture</A> <DD> A framework for integrating a community of heterogeneous software agents in a distributed environment. </DD> <DT> <a target="_blank" href="https://cliplab.org/Software/pillow/">PiLLoW</a> <DD> A public domain Internet/WWW programming library for Logic Programming Systems which simplifies the process of writing applications for this environment. The library provides facilities for generating HTML or XML structured documents by handling them as Herbrand terms, producing HTML forms, writing form handlers, processing HTML templates, accessing and parsing WWW documents (either HTML or XML), accessing code posted at HTTP addresses, etc. <strong>Bundled with SICStus Prolog.</strong> </DD> </dl> <h2>Graphical User Interfaces</h2> <dl> <DT> <A target="_blank" HREF="https://kahina-sld.github.io/">Kahina</A> <DD> A visualization tool for Prolog. </DD> <DT> <A target="_blank" HREF="https://lifeware.saclay.inria.fr/~fages/CLPGUI/">CLPGUI</A> <DD> A graphical user interface for Constraint Logic Programming. </DD> </dl> <h2>Natural Language Systems</h2> <dl> <dt> <a target="_blank" href="https://metamap.nlm.nih.gov/">MetaMap</a> <dd> A Tool For Recognizing UMLS Concepts in Text. </dd> <dt> <a target="_blank" href="https://wordnet.princeton.edu/">WordNet</a> <dd> A lexical database for the English language. </dd> <dt> <a target="_blank" href="https://sourceforge.net/projects/regulus/">Regulus</a> <dd> A toolkit for building spoken dialogue systems. </dd> <DT> <a target="_blank" href="https://sourceforge.net/projects/trindikit/">Trindikit</a> <DD> A toolkit for building and experimenting with dialogue systems based on information states. </DD> <DT> <a target="_blank" href="https://www.ai.uga.edu/mc/ProNTo/">ProNTo</a> <DD> A set of Prolog natural language tools. </DD> <DT> <a target="_blank" href="http://webhotel4.ruc.dk/~henning/chrg/">CHRG</a> <DD> A grammar system implemented in SICStus Prolog using Constraint Handling Rules. </DD> <DT> <a target="_blank" href="https://hpsg.fu-berlin.de/~stefan/Babel/">The Babel-System</a> <DD> A large scale system for analyzing written German. </DD> <DT> <a target="_blank" href="https://www.let.rug.nl/~vannoord/Hdrug/">HDRUG</a> <DD> An environment to develop logic grammars / parsers / generators for natural languages. </DD> <dt> <a target="_blank" href="https://www.ling.ohio-state.edu/research/hpsg/">HPSG-PL</a> <dd> An implementation of the HPSG formalism, developed by Fred Popowich, Sandi Kodric and Carl Vogel. It was developed to be a working tool for designing and testing grammars written within the HPSG framework. </dd> <DT> <a target="_blank" href="https://www.cs.toronto.edu/~gpenn/ale.html">ALE</a> <DD> The Attribute-Logic Engine grammar parsing system. </DD> <dt> <a target="_blank" href="https://www.let.rug.nl/~vannoord/CL97"> The Alvey NL Tools grammar</a> <dd> Possibly the largest freely-available DCG for English. </dd> <dt> <a target="_blank" href="https://github.com/ioana-vlad/NLP---SICStus">NLP---SICStus</a> <dd> Natural Language Processing - Parsers in SICStus Prolog. </dd> </dl> <h2>Constraint Solvers and Theorem Provers</h2> <dl> <DT> <A target="_blank" HREF="https://www3.hhu.de/stups/prob/">ProB</A> <DD> An animator and model checker for the B-method. </DD> <DT> <A target="_blank" HREF="https://www.complang.tuwien.ac.at/cti/">cTI</A> <DD> A system for termination inference. </DD> <DT> <a target="_blank" href="http://www.leancop.de/lintap/">linTAP</a> <DD> A Tableau Prover for Linear Logic. </DD> <dt> <a target="_blank" href="http://www.leancop.de/ncdp/">ncDP</a> <dd> A Non-Clausal Davis-Putnam Prover. </dd> <dt> <a target="_blank" href="https://github.com/RichardMoot/Grail2">Grail2</a> <dd> The Grail 2 Theorem Prover. </dd> </dl> <h2>Other Research Systems</h2> <dl> <dt> <a target="_blank" href="https://www.cs.utexas.edu/users/tag/cc/">CCalc</a> <dd> The Causal Calculator (CCalc) is a system for representing commonsense knowledge about action and change. </dd> <dt> <a target="_blank" href="http://akira.ruc.dk/~henning/hyprolog/">HYPROLOG</a> <dd> A Logic Programming Language with Abduction and Assumptions. </dd> <dt> <a target="_blank" href="https://www.informatik.uni-kiel.de/~pakcs/">PAKCS</a> <dd> The Portland Aachen Kiel Curry System. </dd> <dt> <a target="_blank" href="https://www.informatik.uni-kiel.de/~mh/systems/ALF/">ALF</a> <dd> The Functional-Logic Language ALF. </dd> <dt> <a target="_blank" href="https://www.cs.nmsu.edu/~tson/ASPlan/Preferences/">ASPlan</a> <dd> Planning with Preferences using Logic Programming. </dd> <dt> <a target="_blank" href="https://sourceforge.net/projects/des/">Datalog Educational System</a> <dd> The Datalog Educational System (DES) is a free, open-source, multiplatform, Prolog-based implementation of a basic deductive database system. </dd> <dt> <a target="_blank" href="https://code.google.com/p/etalis/">Etalis</a> <dd> is an engine for complex event processing in a data-driven fashion based on backward chaining of rules which allows for an efficient detection of complex events. </dd> </dl> </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>