Prolog: Difference between revisions
No edit summary |
|||
| Line 16: | Line 16: | ||
==A list of DOS implementations of Prolog== | ==A list of DOS implementations of Prolog== | ||
* [[Amzi! Prolog+Logic Server]] - Commercial - Discontinued | |||
*[[Arity Prolog]] - Commercial - Discontinued | *[[Arity Prolog]] - Commercial - Discontinued | ||
* [[cu-Prolog]] - Open Source - Discontinued | |||
* [[LPA Prolog]] - Commercial - Current | |||
*[[PDC Prolog]]- Commercial - Discontinued | *[[PDC Prolog]]- Commercial - Discontinued | ||
*[[Quintus Prolog]] - Commercial - Discontinued | *[[Quintus Prolog]] - Commercial - Discontinued | ||
| Line 23: | Line 26: | ||
==A list of Prolog implementations that run under WinOS/2== | ==A list of Prolog implementations that run under WinOS/2== | ||
* [[Amzi! Logic Explorer]] - Freeware - Discontinued. | |||
* [[Amzi! Prolog+Logic Server]] - Commercial - Discontinued | |||
*[[Arity Prolog]] - Commercial - Discontinued | *[[Arity Prolog]] - Commercial - Discontinued | ||
* [[IF/Prolog]] - Commercial - Discontinued - Contraint ver. | |||
* [[LPA Prolog]] - Commercial - Discontinued | |||
*[[Visual Prolog]] - Commercial - Discontinued | *[[Visual Prolog]] - Commercial - Discontinued | ||
Revision as of 16:14, 2 January 2015
Declarative logic programming language developed in France in the latter half of the 1960's and early 70. 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 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
- Amzi! Prolog+Logic Server - Commercial - Discontinued
- Arity Prolog - Commercial - Discontinued
- cu-Prolog - Open Source - Discontinued
- LPA Prolog - Commercial - Current
- PDC Prolog- Commercial - Discontinued
- Quintus Prolog - Commercial - Discontinued
- SICStus Prolog - Commercial - Discontinued
- Turbo Prolog - Commercial - Discontinued
A list of Prolog implementations that run under WinOS/2
- 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
- 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.
- JIProlog - Commercial - Current.
- jLog - Open Source - Current.
- jTrolog - Open Source - Current.
- 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
- 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.