http://debianws.lexgopc.com/wiki143/index.php?action=history&feed=atom&title=Comparison_of_Prolog_implementations
Comparison of Prolog implementations - Revision history
2026-10-25T21:04:46Z
Revision history for this page on the wiki
MediaWiki 1.43.1
http://debianws.lexgopc.com/wiki143/index.php?title=Comparison_of_Prolog_implementations&diff=5156342&oldid=prev
imported>Citation bot: Added pages. | Use this bot. Report bugs. | Suggested by Dominic3203 | Category:Software comparisons | #UCB_Category 70/101
2025-02-07T21:08:25Z
<p>Added pages. | <a href="/wiki143/index.php?title=En:WP:UCB&action=edit&redlink=1" class="new" title="En:WP:UCB (page does not exist)">Use this bot</a>. <a href="/wiki143/index.php?title=En:WP:DBUG&action=edit&redlink=1" class="new" title="En:WP:DBUG (page does not exist)">Report bugs</a>. | Suggested by Dominic3203 | <a href="/wiki143/index.php?title=Category:Software_comparisons" title="Category:Software comparisons">Category:Software comparisons</a> | #UCB_Category 70/101</p>
<p><b>New page</b></p><div>{{short description|None}}<br />
[[File:Early Prolog timeline.svg|thumb|upright=2|Timeline of some early Prolog systems, up to the ISO Standard]]<br />
The following '''Comparison of Prolog implementations''' provides a reference for the relative feature sets and performance of different implementations of the [[Prolog]] computer [[programming language]]. A comprehensive discussion of the most significant [[Prolog]] systems is presented in an article published in the 50-years of Prolog anniversary issue of the journal ''Theory and Practice of Logic Programming'' (TPLP).<ref name=prolog50>{{citation |author=Philipp Körner |author2=Michael Leuschel |author3=João Barbosa |author4=Vítor Santos Costa |author5=Verónica Dahl |author6=Manuel V. Hermenegildo |author7=Jose F. Morales |author8=Jan Wielemaker |author9=Daniel Diaz |author10=Salvador Abreu |author11=Giovanni Ciatto |title=Fifty Years of Prolog and Beyond |date=November 2022 |journal=Theory and Practice of Logic Programming|volume=22|issue=6 |pages=776–858 |doi=10.1017/S1471068422000102 |doi-access=free|hdl=10174/33387 |hdl-access=free }}</ref><br />
<br />
==Portability==<br />
[[File:Prolog systems.svg|thumb|upright=2|Prolog Heritage.<br />Systems with a dark gray background are not supported any more. Arrows denote influences and inspiration of systems. Quick legend: JIT = "Just in Time Compiler", JVM = "Java Virtual Machine", TOAM = "Tree-Oriented Abstract Machine"]]<br />
There are Prolog [[Programming language implementation|implementations]] that are radically different, with different syntax and different semantics (e.g. Visual Prolog)<ref name=portability2011>{{Cite book | last1 = Wielemaker | first1 = J. | last2 = Costa | first2 = V. T. S. | chapter = On the Portability of Prolog Applications | doi = 10.1007/978-3-642-18378-2_8 | title = Practical Aspects of Declarative Languages | series = Lecture Notes in Computer Science | volume = 6539 | pages = 69–83 | year = 2011 | isbn = 978-3-642-18377-5 | citeseerx = 10.1.1.1030.9396 }}</ref> and sub-communities have developed around different implementations.<ref name=portability2011/><br />
<br />
Code that strictly conforms to the ISO-Prolog core language is portable across ISO-compliant implementations. However, the ISO standard for modules is an extension which was not fully adopted in most Prolog systems.<ref name=portability2011/><ref name=prolog50/><br />
<br />
Factors that can adversely affect portability include: use of bounded vs. unbounded integer arithmetic, additional types such as string objects, advanced numeric types (rationals, complex), feature extensions such as [[Unicode]], threads, and tabling.<ref>Jan Wielemaker and Vıtor Santos Costa: [http://www.swi-prolog.org/download/publications/porting.pdf Portability of Prolog programs: theory and case-studies]. [http://www.floc-conference.org/CICLOPS-WLPE-accepted.html CICLOPS-WLPE Workshop 2010] {{Webarchive|url=https://web.archive.org/web/20100716184811/http://www.floc-conference.org/CICLOPS-WLPE-accepted.html |date=2010-07-16 }}.</ref> Use of libraries unavailable in other implementations and library organisation:<ref name=portability2011/> <br />
<blockquote>Currently, the way predicates are spread over the libraries and system built-ins differs enormously. [...] Fortunately, there are only few cases where we find predicates with the same name but different semantics (e.g. <code>delete/3</code>)</blockquote><br />
<br />
==Main features==<br />
{| class="wikitable sortable"<br />
|-<br />
! colspan="3" | Platform<br />
! colspan="8" | Features<br />
! colspan="3" | Toolkit<br />
!| Prolog Mechanics<br />
|-<br />
! style="background:#ffdead;" | Name<br />
! style="background:#ffdead;" | OS<br />
! style="background:#ffdead;" | Licence<br />
! {{verth|cellstyle=background:#ffdead;|Native Graphics}}<br />
! {{verth|cellstyle=background:#ffdead;|Compiled Code}}<br />
! {{verth|cellstyle=background:#ffdead;|Unicode}}<br />
! {{verth|cellstyle=background:#ffdead;|Object Oriented}}<br />
! {{verth|cellstyle=background:#ffdead;|Native OS Control}}<br />
! {{verth|cellstyle=background:#ffdead;|Stand Alone Executable}}<br />
! {{verth|cellstyle=background:#ffdead;|C Interface{{efn|name="C"|C/Java interface can also be used for graphics and OS control.}}}}<br />
! {{verth|cellstyle=background:#ffdead;|Java Interface{{efn|name="C"}}}}<br />
! {{verth|cellstyle=background:#ffdead;|Interactive Interpreter}}<br />
! {{verth|cellstyle=background:#ffdead;|Debugger}}<br />
! {{verth|cellstyle=background:#ffdead;|Code Profiler}}<br />
! style="background:#ffdead;" | Syntax<br />
|-<br />
|AllegroProlog<ref>[https://franz.com/products/allegro-common-lisp/acl_prolog.lhtml Allegro Prolog]</ref><br />
|[[Unix]], [[Microsoft Windows|Windows]], [[Mac OS X]]<br />
|{{proprietary}} (limited free edition available)<br />
|<br />
|{{Yes}}<br />
|{{Yes}}<br />
|{{Yes}}<br />
|{{Yes}}, via Lisp<br />
|{{Yes}}<br />
|{{Yes}}, via Lisp<br />
|{{Yes}}, via Lisp<br />
|{{Yes}}<br />
|{{Yes}}<br />
|{{Yes}}, via Lisp<br />
|S-expressions. Full Common Lisp integration.<br />
|-<br />
|{{rh}}|[[BProlog]]<br />
|[[Unix]], [[Microsoft Windows|Windows]], [[Mac OS X]]<br />
|{{proprietary}} (free for non-commercial uses)<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|ISO-Prolog, plus event-handling, CLP(FD), and tabling<br />
|-<br />
|{{rh}}|[[Ciao (programming language)|Ciao]]<br />
|[[Unix]], [[Microsoft Windows|Windows]], [[Mac OS X]]<br />
|{{open source|[[GPL]], [[GNU Lesser General Public License|LGPL]]}}<br />
|<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|ISO-Prolog, plus extensions<br />
|-<br />
|{{rh}}|DOS-Prolog<ref>{{Cite web |date=5 November 2023 |title=DOS-Prolog 8.0 |url=https://www.lpa.co.uk/dos.htm |website=Logic Programming Associates}}</ref><br />
|[[MS-DOS]]<br />
|{{proprietary}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|Edinburgh Prolog<br />
|-<br />
|{{rh}}|[[ECLiPSe]]<br />
|[[Linux]], [[Microsoft Windows|Windows]], [[Solaris (operating system)|Solaris]], [[macOS]]<br />
|{{open source|[[Mozilla Public License|MPL]]}}<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|Extended Prolog, Multi-dialect, including ISO<br />
|-<br />
|{{rh}}|[[GNU Prolog]]<br />
|[[Unix]], [[Microsoft Windows|Windows]], [[Mac OS X]]<br />
|{{open source|[[GNU General Public License|GPL]], [[LGPL]]}}<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|ISO-Prolog<br />
|-<br />
|-<br />
|{{rh}}|[[JIProlog]]<ref>[http://www.jiprolog.com JIProlog]</ref><br />
|[[JVM]], [[Android (operating system)|Android]]<br />
|{{open source|[[GNU Affero General Public License|AGPL]] (commercial support available)}}<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|<br />
|{{yes}} via Java<br />
|{{yes}}<br />
|{{yes}} via Java<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|ISO-Prolog<br />
|-<br />
|{{rh}}|JLog<ref name="JLog Homepage">{{Cite web |title=JLog Homepage |url=https://jlogic.sourceforge.net/ |access-date=2023-11-03 |website=jlogic.sourceforge.net}}</ref><br />
|[[JVM]]<br />
|{{open source|[[GNU General Public License|GPL]]}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|<br />
|ISO-Prolog<br />
|-<br />
|{{rh}}|JScriptLog<ref name="JLog Homepage"/><br />
|Web Browser<br />
|{{open source|[[GNU General Public License|GPL]]}}<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|ISO-Prolog<br />
|-<br />
|{{rh}}|jTrolog<ref>{{Cite web |date=2012-11-13 |title=Jtrolog — Java.net |url=http://java.net/projects/jTrolog |access-date=2023-11-03 |archive-url=https://web.archive.org/web/20121113023104/http://java.net/projects/jTrolog |archive-date=2012-11-13 }}</ref><br />
|[[JVM]]<br />
|{{open source|[[GNU Lesser General Public License|LGPL]]}}<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|ISO-Prolog<br />
|-<br />
|{{rh}}|WIN-Prolog<ref>{{Cite web |date=5 November 2023 |title=WIN-Prolog 8.0 |url=https://www.lpa.co.uk/win.htm |website=Logic Programming Associates}}</ref><br />
|[[Microsoft Windows|Windows]]<br />
|{{proprietary}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|Edinburgh Prolog with extensions<br />
|-<br />
|{{rh}}|Open Prolog<ref>[https://web.archive.org/web/20050203201646/http://www.cs.tcd.ie/open-prolog/ Open Prolog Home Page]</ref><br />
|Mac OS [[System 7]]<br />
|{{proprietary|[[Freeware]]}}<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|-<br />
|{{rh}}|[[Poplog]] Prolog<br />
|[[Linux]] (32- and 64-bit), [[Unix]], [[Microsoft Windows|Windows]] <br />
|{{open source|Free Open Source}}<br />
|Only through [[POP-11]], on Linux<br />
|{{yes}}<br />
|<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|Edinburgh Prolog, with interfaces to Poplog Common Lisp and Pop-11<br />
|-<br />
|{{rh}}|[[Scryer Prolog]]<ref>[https://www.scryer.pl Scryer Prolog]</ref><br />
|[[Linux]], [[Microsoft Windows|Windows]], [[macOS]]<br />
|{{open source|[[BSD License]]}}<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|ISO-Prolog<br />
|-<br />
| {{rh}} class="table-rh" |[[SICStus Prolog]]<br />
|[[Unix]], [[Linux]], [[Microsoft Windows|Windows]], [[macOS]]<br />
|{{proprietary}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|[[Comparison of Prolog standards compliance|ISO-Prolog]]<br />
|-<br />
|{{rh}}|[[Strawberry Prolog]]<ref>[https://dobrev.com Strawberry Prolog]</ref><br />
|[[Unix]], [[Microsoft Windows|Windows]]<br />
|{{proprietary|[[Freeware]]}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|<br />
|{{yes}}<br />
|<br />
|Not ISO-Prolog + extensions<br />
|-<br />
|{{rh}}|[[SWI-Prolog]]<br />
|[[Unix]], [[Linux]], [[Microsoft Windows|Windows]], [[macOS]]<br />
|{{open source|[[BSD License]]}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|ISO-Prolog, Edinburgh Prolog<br />
|-<br />
|{{rh}}|[[tuProlog]]<ref>[http://tuprolog.unibo.it tuProlog]</ref><br />
|[[JVM]], [[Android (operating system)|Android]]<br />
|{{open source|[[GNU Lesser General Public License|LGPL]]|}}<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|<br />
|<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|ISO-Prolog<br />
|-<br />
|{{rh}}|[[Visual Prolog]]<br />
|[[Microsoft Windows|Windows]]<br />
|{{proprietary|[[Freeware]]}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|-<br />
|{{rh}}|[[XSB|XSB Prolog]]<br />
|[[Linux]], [[Microsoft Windows|Windows]], [[Solaris (operating system)|Solaris]], [[macOS]]<br />
|{{open source|[[GNU Lesser General Public License|LGPL]]}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|ISO-Prolog, tabled WFS<br />
|-<br />
|{{rh}}|[[YAP-Prolog]]<br />
|[[Linux]], [[Microsoft Windows|Windows]], [[Solaris (operating system)|Solaris]], [[Mac OS X]], [[HP-UX]]<br />
|{{open source|[[GNU General Public License|GPL]] or Artistic (user choice)}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|{{yes}}<br />
|<br />
|ISO-Prolog, Edinburgh Prolog, Quintus and SICStus Prolog compatible<br />
|}<br />
<br />
==Operating system and web-related features==<br />
{| class="wikitable"<br />
|-<br />
|<br />
! colspan="4" | OS-related<br />
! colspan="4" | Web-related<br />
|-<br />
! style="background:#ffdead;" | Name<br />
! style="background:#ffdead;" | Conditional compilation<br />
! style="background:#ffdead;" | Sockets<br />
! style="background:#ffdead;" | Multi-threading<br />
! style="background:#ffdead;" | Tabling<br />
! style="background:#ffdead;" | HTTP client<br />
! style="background:#ffdead;" | HTTP server<br />
! style="background:#ffdead;" | HTML Parser<br />
! style="background:#ffdead;" | RDF Triple store<br />
|-<br />
|{{rh}}|[[BProlog]]<br />
|<br />
|<br />
|<br />
| {{yes}}<br />
|<br />
|<br />
|<br />
|<br />
|-<br />
|{{rh}}|[[Ciao (programming language)|Ciao]]<br />
| {{Yes}}<br />
| {{Yes}}<br />
| {{Yes}}<br />
| {{Yes}}<br />
| {{Yes}}<br />
| {{Yes}}<br />
| {{Yes}}<br />
|<br />
|-<br />
|{{rh}}|[[ECLiPSe]]<br />
| {{Yes}}<br />
| {{Yes}}<br />
| {{Yes}}<br />
|<br />
| {{Yes}}<br />
|<br />
| {{Yes}}<br />
|<br />
|-<br />
|{{rh}}|[[GNU Prolog]]<br />
| <br />
| {{Yes}}<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|-<br />
|{{rh}}|[[WIN-Prolog]]<br />
|<br />
| {{yes}}<br />
| <br />
| <br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| <br />
|-<br />
|{{rh}}|[[Scryer Prolog]]<br />
|<br />
| {{yes}}<br />
|<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
|<br />
|-<br />
|{{rh}}|[[SICStus Prolog]]<br />
| {{yes}}<br />
| {{Yes}}<br />
| {{Yes}}<br />
|<br />
|<br />
|<br />
|<br />
|<br />
|-<br />
|{{rh}}|[[SWI-Prolog]]<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
|-<br />
|{{rh}}|[[Visual Prolog]]<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| <br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
|<br />
|-<br />
|{{rh}}|[[XSB]]<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
|<br />
|<br />
|<br />
|-<br />
|{{rh}}|[[YAP-Prolog]]<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
|<br />
|<br />
|<br />
|<br />
|}<br />
<br />
==Static analysis==<br />
{| class="wikitable"<br />
|-<br />
! style="background:#ffdead;" | Name<br />
! style="background:#ffdead;" | Type checker<br />
! style="background:#ffdead;" | Determinacy checker<br />
! style="background:#ffdead;" | Call-pattern checker<br />
|-<br />
|{{rh}}|[[Ciao (programming language)|Ciao]]<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
|-<br />
|{{rh}}|[[GNU Prolog]]<br />
|<br />
|<br />
|<br />
|-<br />
|{{rh}}|[[SICStus Prolog]]<br />
|<br />
| {{yes}}<br />
|<br />
|-<br />
|{{rh}}|[[SWI-Prolog]]<br />
|<br />
| {{yes}}<br />
|<br />
|-<br />
|{{rh}}|[[Visual Prolog]]<br />
| {{yes}}<br />
| {{yes}}<br />
| {{yes}}<br />
|-<br />
|{{rh}}|[[XSB]]<br />
|<br />
|<br />
|<br />
|-<br />
|{{rh}}|[[YAP-Prolog]]<br />
|<br />
|<br />
|<br />
|}<br />
<br />
==Optimizations==<br />
{| class="wikitable"<br />
|-<br />
! style="background:#ffdead;" | Name<br />
! style="background:#ffdead;" | [[Tail-call optimization|Tail-Call Optimization]]<br />
! style="background:#ffdead;" | Choice Point Elimination<br />
! style="background:#ffdead;" | Environment Trimming<br />
! style="background:#ffdead;" | [[Term indexing|Just-in-Time Indexing]]<br />
|-<br />
|{{rh}}|[[Ciao (programming language)|Ciao]]<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{dunno}}<br />
|-<br />
|{{rh}}|[[ECLiPSe]]<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{n/a|multi-argument (compile time)}} <br />
|-<br />
|{{rh}}|[[GNU Prolog]]<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| <br />
|-<br />
|{{rh}}|[[SICStus Prolog]]<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| <br />
|-<br />
|{{rh}}|[[SWI-Prolog]]<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
|-<br />
|{{rh}}|[[Visual Prolog]]<br />
| {{yes|Yes (compile time)}}<br />
| {{yes|Yes (compile time)}}<br />
| {{n/a|N/A}}<br />
| {{n/a|N/A (compile time)}} <br />
|-<br />
|{{rh}}|[[XSB]]<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{dunno}}<br />
|-<br />
|{{rh}}|[[YAP-Prolog]]<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
| {{yes|Yes}}<br />
|}<br />
<br />
== Release ==<br />
{| class="wikitable sortable"<br />
|-<br />
! style="background:#ffdead;" | Name<br />
! style="background:#ffdead;" | Version<br />
! style="background:#ffdead;" | Date<br />
|-<br />
| {{rh}} class="table-rh" | AllegroProlog<br />
|1.1.2<br />
|2018-12-12<br />
|-<br />
| {{rh}} class="table-rh" |[[BProlog]]<br />
|8.1<br />
|2014-02-23<br />
|-<br />
| {{rh}} class="table-rh" |[[JIProlog]]<br />
|4.1.7.1<br />
|2021-08-26<br />
|-<br />
| {{rh}} class="table-rh" |[[Ciao (programming language)|Ciao]]<br />
|1.22<br />
|2022-09-28<br />
|-<br />
| {{rh}} class="table-rh" |DOS-Prolog<br />
|8.0<br />
|<br />
|-<br />
| {{rh}} class="table-rh" |[[ECLiPSe]]<br />
|7.1<br />
|2023-01-01<br />
|-<br />
| {{rh}} class="table-rh" |[[GNU Prolog]]<br />
|1.5.0<br />
|2023-02-21<br />
|-<br />
| {{rh}} class="table-rh" |[http://jlogic.sourceforge.net/ JLog]<br />
|1.3.6<br />
|2007-09-13<br />
|-<br />
| {{rh}} class="table-rh" |[http://jlogic.sourceforge.net/ JScriptLog]<br />
|0.7.5 beta<br />
|2007-09-10<br />
|-<br />
| {{rh}} class="table-rh" |[https://web.archive.org/web/20121113023104/http://java.net/projects/jTrolog jTrolog]<br />
|<br />
|<br />
|-<br />
| {{rh}} class="table-rh" |WIN-Prolog<br />
|8.0<br />
|2022-07-14<br />
|-<br />
| {{rh}} class="table-rh" |Open Prolog<br />
|<br />
|<br />
|-<br />
| {{rh}} class="table-rh" |[[Poplog]] Prolog<br />
|V16<br />
|2020-01-06<br />
|-<br />
| {{rh}} class="table-rh" |[[Scryer Prolog]]<br />
|0.9.3<br />
|2023-11-02<br />
|-<br />
| {{rh}} class="table-rh" |[[SICStus Prolog]]<br />
|4.9.0<br />
|2023-12-18<br />
|-<br />
| {{rh}} class="table-rh" |[[Strawberry Prolog]]<br />
|6.1 <br />
|2023-08-23<br />
|-<br />
| {{rh}} class="table-rh" |[[SWI-Prolog]]<br />
|9.1.18<br />
|2023-11-01<br />
|-<br />
| {{rh}} class="table-rh" |[[tuProlog]]<br />
|2P-Kt 0.31.18<br />
|2023-10-24<br />
|-<br />
| {{rh}} class="table-rh" |[[Visual Prolog]]<br />
|10, Build 1000<br />
|2021-04-15<br />
|-<br />
| {{rh}} class="table-rh" |[[XSB]] Prolog<br />
|5.0<br />
|2022-05-15<br />
|-<br />
| {{rh}} class="table-rh" |[[YAP (Prolog)|YAProlog]]<br />
|7.1.0<br />
|2020-12-19<br />
|}<br />
<br />
==Benchmarks==<br />
* Benchmarking issues: [http://www.cs.kuleuven.be/publicaties/rapporten/cw/CW312.abs.html Odd Prolog benchmarking], Performance differences.<ref>B. Demoen, and P. Nguyen, About unnecessary performance differences between Prolog implementations, Proceedings of the Colloquium on Implementation of Constraint and Logic Programming Systems (CICLOPS 2001)</ref><br />
* Benchmarking software: [https://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/code/library/0.html older], [http://www.cs.cmu.edu/afs/cs/project/ai-repository/ai/lang/prolog/code/bench/dobry.txt Dobry's Benchmarks]<!-- {{dead link|date=August 2017 |bot=InternetArchiveBot |fix-attempted=yes }} -->, [http://portal.acm.org/citation.cfm?id=893977 Aquarius benchmark suite], (Bothe, 1990),<ref>{{Cite journal| year = 1990| doi = 10.1145/122193.122197| pages = 54–60| volume = 25| journal = ACM SIGPLAN Notices| title = A prolog space benchmark suite| last1 = Bothe | first1 = K.| issue = 12| doi-access = free}}</ref> [http://www.cs.kuleuven.be/~bmd/hProlog/iclpgcbenches.tar.gz (Demoen et al. 2001)], [http://www.cs.unipr.it/China/Benchmarks/descriptions benchmark descriptions]<br />
* Benchmarking results: [https://web.archive.org/web/20100227050426/http://www.probp.com/performance.htm B-Prolog], [https://web.archive.org/web/20080203174047/http://www.sics.se/isl/sicstuswww/site/performance.html SICStus], XSB,<ref>[http://citeseer.ist.psu.edu/swift93summary.html A Summary of XSB Performance (1993)]</ref> SICStus vs Yap vs {{proper name|hProlog}}<ref>{{Cite book| volume = 2401| pages = 194–208| year = 2002| doi = 10.1007/3-540-45619-8_14| chapter = Copying Garbage Collection for the WAM: to Mark or Not to Mark? | first3 = R. | first1 = B.| title = Logic Programming| last2 = Nguyen | first2 = P. L.| last3 = Vandeginste| last1 = Demoen| series = Lecture Notes in Computer Science| isbn = 978-3-540-43930-1| citeseerx = 10.1.1.13.2586}}</ref><br />
* Benchmarking results: [https://web.archive.org/web/20110719062358/http://www.michaels-website.de/2010/08/prolog-in-the-jvm-survey-of-prolog-engines-written-in-java/ Survey of java prolog engines] by Michael Zeising<br />
* Benchmarking results: [https://www3.cs.stonybrook.edu/~pfodor/openrulebench_web/ OpenRuleBench yearly open-source benchmark of rule engines]<br />
<br />
==Notes==<br />
{{notelist}}<br />
<br />
== References ==<br />
<br />
{{reflist}}<br />
<br />
==External links==<br />
* [http://www.complang.tuwien.ac.at/ulrich/prolog_misc/systems.html Overview of Prolog Systems] by Ulrich Neumerkel<br />
* [http://www.complang.tuwien.ac.at/ulrich/iso-prolog/conformity_assessment Conformity assessment I: Syntax]<br />
<br />
[[Category:Prolog programming language family]]<br />
[[Category:Software comparisons]]</div>
imported>Citation bot