To search menu

Browse language results searching for category Horn clause

Context-based Data representation
&-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 
AND/OR  1987    Horn clause       Parallel logic language 
ANDOR  1990    Horn clause   Japan     AND-OR Prolog 
ANDOR-II  1990    Horn clause   Japan     AND-OR Prolog 
Aquarius Prolog  1989    String and List Processing Horn clause   United States     High performance Prolog 
BAP  1993    Horn clause   United States     Brain Aid 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      
CP  1987    Horn clause       Concurrent Prolog 
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      
Darwin  1987    Horn clause   United States     Law-based OO prolog 
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      
Multilog  1986    Horn clause   United States      
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+  0    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      
Robinson Unification Logic  1969    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  0    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