Prolog
Friedrich Ludwig Gottlob Frege invented predicate logic on which Prolog is based
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
- Az-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
- VMV Prolog (Automata Design Associates) - Commercial - Discontinued
- Visual Prolog - Commercial - Discontinued
Foreign libraries with Prolog bindings
- Cairo - 2D graphics library - Open source - Current
OS/2 text & programmers editors with Prolog support
- jEdit - Java based editor - Prolog syntax highlighting built in - Current.
A list of DOS implementations of Prolog
- ALS Prolog - Was Commercial/now open source - Discontinued
- Amzi! Prolog+Logic Server - Commercial - Discontinued
- Aquarius Prolog - Open/Closed source - Discontinued
- Arity Prolog - Commercial - Discontinued
- Beta-Prolog - Open Source - Discontinued
- BinProlog - Open source commercial software - Discontinued
- Boizumault Prolog - Open Source - Discontinued
- ESL Prolog-2 - Commercial - Discontinued
- Cogent Prolog Compiler - Commercial
- cu-Prolog - Open Source - Discontinued
- LPA Prolog - Commercial - Current
- LPA micro-PROLOG - Commercial - Discontinued
- Logicware MPROLOG - Commercial - Discontinued
- MR Prolog- Commercial - Discontinued
- PDC Prolog- Commercial - Discontinued
- Prolog II- Commercial - Discontinued
- Prolog III- Commercial - Discontinued
- Chalcedony Prolog V/Prolog V-Plus - Commercial - Discontinued
- Prolog-86+- Commercial - Discontinued
- PD Prolog (A.D.A. PD Prolog) - Freeware - Discontinued
- Quintus Prolog - Commercial - Discontinued
- SICStus Prolog - Commercial - Discontinued
- Stony Brook Prolog - Aka SB-Prolog - Open source - Discontinued
- Turbo Prolog - Commercial - Discontinued
- VML Prolog- Commercial - Discontinued
A list of Prolog implementations that run under WinOS/2
- ALS Prolog - Was Commercial/now open source - 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
- Prolog IV- Commercial - Discontinued
- Visual Prolog - Commercial - Discontinued
A list of Prolog implementations that run under Java
- CKI-Prolog - Old but works on Java 1.x on vintage hardware - Open Source - Discontinued
- DGKS Prolog - Discontinued
- GNU Prolog for Java - Open Source - Current
- JavaLog - Old but works on Java 1.x on vintage hardware - 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
- Prova - Prolog variant, not fully compatible - Open Source - Current
- Styla - Requires Scala - Open Source - Current
- tuProlog - Open Source - Current
- W-Prolog - Open Source - Discontinued
Utilities
- Prolog4J -Allows java programs to use native Prolog engines - 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
- Patrice Boizumault: Prolog: l'implantation - 1988 - ISBN 2225814791 - Out of print.
- Patrice Boizumault: The Implementation of Prolog- Tranlated by Ara M. Djamboulian and Jamal Fattouh - 1993/2014 - ISBN 9780691609393 - In print.
- Introductionary material
- Peter Skye: Logic Programming In Native OS/2
Tutorials and other learning material
Papers
- Krzysztof R. Apt, Maurizio Gabbrielli and Dino Pedreschi A closer look at declarative interpretations*
Links
- Alain Colmerauer's homepage - Has a cache of historical papers releated to Prolog
- Boizumault Prolog Archive on Github - Contains the example Prolog implementations from his book (above)
USENET
- comp.lang.prolog - Go to the Google groups version if you are in any way 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. Initially implemented on an IBM System/360 using Wirth's Algol-W and PL/360.