Jump to content

Prolog: Difference between revisions

From EDM2
Created page with "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 program..."
 
Line 5: Line 5:
*[[IBM SAA AD/Cycle Prolog/2]] - Commercial - Discontinued
*[[IBM SAA AD/Cycle Prolog/2]] - Commercial - Discontinued
*[[PDC Prolog]]- Commercial - Discontinued
*[[PDC Prolog]]- Commercial - Discontinued
*[[Quintus Prolog]] - Commercial - Discontinued
*[[PMPro Prolog]] - Commercial - Discontinued
*[[PMPro Prolog]] - Commercial - Discontinued
*[[Prolog II+]] - Commercial - Discontinued
*[[Prolog II+]] - Commercial - Discontinued
*[[Quintus Prolog]] - Commercial - Discontinued
*[[SICStus Prolog]] - Commercial - Discontinued
*[[SICStus Prolog]] - Commercial - Discontinued
*[[SWI-Prolog]] - Open Source - Discontinued
*[[SWI-Prolog]] - Open Source - Discontinued

Revision as of 04:32, 26 December 2014

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

Libraries and bindings

A list of DOS implementations of Prolog

A list of Prolog implementations that run under WinOS/2

A list of Prolog implementations that run under Java

A list of Prolog implementations in JavaScript

Publications

Local articles

Tutorials and other learning material

Links

USENET

Standards