&-Prolog |
⊕
1990
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Spain
|
|
*Prolog |
⊕
1989
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United States
|
|
ABSYS |
⊕
1966
|
↓
↑
⊕
Specialised Languages
|
Horn clause
|
⊕
United Kingdom
|
Aberdeen system declarative language |
Aquarius Prolog |
⊕
1989
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United States
|
High performance Prolog |
Beta-Prolog |
⊕
1992
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
|
BNR Prolog |
⊕
1985
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Canada
|
|
CIAO |
⊕
1994
|
↓
↑
⊕
Experimental and other
|
Horn clause
|
⊕
Spain
|
Distributed And/Or parallel prolog |
Concurrent Prolog |
⊕
1983
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United States
|
|
C-Prolog |
⊕
1985
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
CS-Prolog |
⊕
1986
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Hungary
|
|
CS-Prolog II |
⊕
1995
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Greece
|
|
cu-Prolog |
⊕
1989
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
|
Delta Prolog |
⊕
1984
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Portugal
|
|
d-Prolog |
⊕
1988
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United States
|
Defeasible Prolog |
ECRC-Prolog |
⊕
1986
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
Edinburgh Prolog |
⊕
1985
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
IC Prolog ][ |
⊕
1992
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
IC-Prolog |
⊕
1979
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
ISO Prolog |
⊕
1997
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
International
|
|
Kanji PROLOG |
⊕
1984
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
|
lambda-Prolog |
⊕
1988
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United States
|
|
LM-Prolog |
⊕
1983
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Sweden
|
Lisp Machine Prolog |
Marseille Prolog |
⊕
1973
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
France
|
|
Meta-Logic Prolog |
⊕
1986
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
|
Modal Prolog |
⊕
1987
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
|
Modula-Prolog |
⊕
1985
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Switzerland
|
|
Modular Prolog |
⊕
1992
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
M-Prolog |
⊕
1980
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
|
Modular Prolog |
M-Prolog |
⊕
1973
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
France
|
|
Multi-Prolog |
⊕
1993
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
|
|
MU-Prolog |
⊕
1982
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Australia
|
Prolog with coroutining |
Muse |
⊕
1990
|
↓
↑
⊕
Specialised Languages
|
Horn clause
|
⊕
International
|
Or-Parallel Prolog |
Neuro-Prolog |
⊕
1991
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
|
Neuro-Prolog II |
⊕
1991
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
|
N-Prolog |
⊕
1985
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
NUA-Prolog |
⊕
1991
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
Extension to the WAM for Parallel Andorra |
NUE-Prolog |
⊕
1991
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Australia
|
|
NUOO-Prolog |
⊕
1997
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Australia
|
|
NU-Prolog |
⊕
1988
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Australia
|
|
ObjVProlog |
⊕
1989
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Canada
|
|
ObjVProlog-D |
⊕
1989
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Canada
|
|
PDC-Prolog |
⊕
1995
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Denmark
|
|
PMS-Prolog |
⊕
1988
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Australia
|
|
PNU-Prolog |
⊕
1988
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Australia
|
Parallel Nu-Prolog |
P-Prolog |
⊕
1986
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Singapore
|
|
Prolog |
⊕
1971
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
France
|
Logic programming language |
Prolog 3 |
⊕
1989
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
France
|
3rd generation of the logic programming language |
Prolog II+ |
⊕
1983
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
France
|
2nd generation of the logic programming language |
Prolog III |
⊕
1984
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
France
|
Prolog with unification replaced by constraint resolution. |
Prolog IV |
⊕
1996
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
International
|
Prolog II with extra constraints etc |
Prolog/KR |
⊕
1984
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
Extension to prolog for Knowledge representation |
Prolog/V |
⊕
1988
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
International
|
Prolog implemented in Smalltalk |
Prolog+ |
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
International
|
Enhanced Prolog |
Prolog++ |
⊕
1994
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
International
|
OO Prolog |
Prolog-2 |
⊕
1990
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
Prolog-D-Linda |
⊕
1990
|
↓
↑
⊕
Specialised Languages
|
Horn clause
|
⊕
Australia
|
Linda style Prolog |
Prolog-ELF |
⊕
1985
|
↓
↑
⊕
Experimental and other
|
Horn clause
|
⊕
Japan
|
|
Prolog-II |
⊕
1982
|
↓
↑
⊕
Specialised Languages
|
Horn clause
|
⊕
France
|
Prolog with dif and freeze |
Prolog-II/MALI |
⊕
1993
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
France
|
|
Prolog-Linda |
⊕
1989
|
↓
↑
⊕
Specialised Languages
|
Horn clause
|
⊕
Australia
|
|
Q-system |
⊕
1969
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Canada
|
|
Quintec Prolog |
⊕
1991
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United Kingdom
|
|
R-Prolog |
⊕
1991
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
|
|
SB-Prolog |
⊕
1973
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
United States
|
|
SCOOP |
⊕
1988
|
↓
↑
⊕
Specialised Languages
|
Horn clause
|
⊕
France
|
|
Shared Prolog |
⊕
1990
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Italy
|
|
SICStus Prolog |
⊕
1987
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Sweden
|
Swedish Inst Comp Sci Prolog |
Squeak Prolog |
⊕
2000
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
|
|
Temporal Prolog |
⊕
1983
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Japan
|
|
Temporal Prolog |
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
|
|
Temporal Prolog |
⊕
1988
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Hungary
|
|
Turbo Prolog |
⊕
1986
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Denmark
|
|
Visual Prolog |
⊕
1996
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Denmark
|
|
Waterloo Core Prolog |
⊕
1986
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Canada
|
|
W-Prolog |
⊕
1996
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Australia
|
Simple Prolog dialect in Java |
XProlog |
⊕
2002
|
↓
↑
⊕
String and List Processing
|
Horn clause
|
⊕
Canada
|
|