Prolog
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
- Quintus Prolog - Commercial - Discontinued
- PMPro Prolog - Commercial - Discontinued
- Prolog II+ - 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
- Arity Prolog - Commercial - Discontinued
- PDC Prolog- Commercial - Discontinued
- Quintus Prolog - Commercial - Discontinued
- SICStus Prolog - Commercial - Discontinued
- Visual Prolog - Commercial - Discontinued
A list of Prolog implementations that run under WinOS/2
- Visual Prolog - Commercial - Discontinued
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
- comp.lang.prolog - Go to the Google groups version if you are newsgroup challenged.