Decision tables
Goal description
Context-based
Data representation
Close mapping

Exploring language family "Horn clause"

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