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