Prolog: Difference between revisions
| Line 18: | Line 18: | ||
==A list of DOS implementations of Prolog== | ==A list of DOS implementations of Prolog== | ||
<div style="column-count:2;-moz-column-count:2;-webkit-column-count:2"> | |||
* [[ALS Prolog]] - Commercial - Discontinued | * [[ALS Prolog]] - Commercial - Discontinued | ||
* [[Amzi! Prolog+Logic Server]] - Commercial - Discontinued | * [[Amzi! Prolog+Logic Server]] - Commercial - Discontinued | ||
| Line 34: | Line 35: | ||
* [[Visual Prolog|Turbo Prolog]] - Commercial - Discontinued | * [[Visual Prolog|Turbo Prolog]] - Commercial - Discontinued | ||
* [[VML Prolog]]- Commercial - Discontinued | * [[VML Prolog]]- Commercial - Discontinued | ||
</div> | |||
==A list of Prolog implementations that run under WinOS/2== | ==A list of Prolog implementations that run under WinOS/2== | ||
Revision as of 21:37, 9 January 2016
Declarative logic programming language developed in France in the latter half of the 1960's and early 70, name is a shortening of "PROgrammation en LOGique" or "Programming in Logic". Unique syntax, derivatives include primarily constraint logic programming languages such as Prolog IV and ECLiPSE but also hybrids such as the strongly typed Mercury and Visual Prolog and even more alien systems such as Erlang.
A list of OS/2 implementations of Prolog
- Arity Prolog - Commercial - Discontinued
- IBM PROLOG for OS/2 - 16 bit only - Commercial - Discontinued
- IBM SAA AD/Cycle Prolog/2 - Commercial - Discontinued
- PDC Prolog- Commercial - Discontinued
- PMPro Prolog - Commercial - Discontinued
- Prolog II+ - Commercial - Discontinued
- Quintus Prolog - Commercial - Discontinued
- SICStus Prolog - Commercial - Discontinued
- SWI-Prolog - Open Source - Discontinued
- Visual Prolog - Commercial - Discontinued
Libraries and bindings
A list of DOS implementations of Prolog
- ALS Prolog - Commercial - Discontinued
- Amzi! Prolog+Logic Server - Commercial - Discontinued
- Arity Prolog - Commercial - Discontinued
- cu-Prolog - Open Source - Discontinued
- LPA Prolog - Commercial - Current
- Micro-Prolog- Commercial - Discontinued
- MR Prolog- Commercial - Discontinued
- PDC Prolog- Commercial - Discontinued
- Prolog II- Commercial - Discontinued
- Prolog III- Commercial - Discontinued
- Prolog V- Commercial - Discontinued
- Prolog-86+- Commercial - Discontinued
- Quintus Prolog - Commercial - Discontinued
- SICStus Prolog - Commercial - Discontinued
- Turbo Prolog - Commercial - Discontinued
- VML Prolog- Commercial - Discontinued
A list of Prolog implementations that run under WinOS/2
- ALS Prolog - Commercial - Discontinued
- Amzi! Logic Explorer - Freeware - Discontinued.
- Amzi! Prolog+Logic Server - Commercial - Discontinued
- Arity Prolog - Commercial - Discontinued
- IF/Prolog - Commercial - Discontinued - Contraint ver.
- LPA Prolog - Commercial - Discontinued - Versions up to 4.1 run with Win32s
- Visual Prolog - Commercial - Discontinued
A list of Prolog implementations that run under Java
- CKI-Prolog - Open Source - Discontinued
- GNU Prolog for Java - Open Source - Current
- JavaLog - Open Source - Discontinued
- Jekejeke Prolog - Commercial - Current.
- Jinni Prolog - Open Source - Discontinued
- JIProlog - Commercial - Current.
- jLog - Open Source - Current.
- jTrolog - Open Source - Current.
- Kernel Prolog - Subset - Open Source - Discontinued
- Mandarax - Prolog variant, not fully compatible - Open Source - Current
- Prolog Café - Interpreter and translator - Open Source - Discontinued
- Prolog4J - Open Source - Discontinued
- Prova - Prolog variant, not fully compatible - Open Source - Current
- Styla - Requires Scala - Open Source - Current
- tuProlog - Open Source - Current
- W-Prolog - Open Source - Discontinued
A list of Prolog implementations in JavaScript
- Prolog in JavaScript - Note sub-set, split into a few pages - Open Source - Current.
- Yield Prolog - Sub-set - Open Source - Discontinued.
Publications
Local articles
Tutorials and other learning material
Links
USENET
- comp.lang.prolog - Go to the Google groups version if you are newsgroup challenged.
Standards
Prolog history
Invented in Marseilles, France in 1972 by Alain Colmerauer and Philippe Rousse, the system is a descendant of a natural language machine translation system called Q-systems that Colmerauer started developing in 1968, but prior and parallel to that he alongside Rousse and others connected to the birth of Prolog such as Jean Trudel and Robert Pasero had participated in the "Traduction Automatique de l’Université de Montréal" project in Canada.