Collected by: Enrico Pontelli
Research
Groups
L.L.D.A.P - New Mexico State University
CLIP - Technical University of Madrid
LIACC - Universidade do Porto
Dept. of Computer Science - University of Bristol
XSB Group - SUNY Stony Brook
Logic Programming at the University of Pisa
Logical Frameworks Research at CMU
PS Group - Swedish Institute for Computer Science
Logic Programming Section - Imperial College
Logic Programming - Heriot-Watt University, Edinburgh
Logic Programming at INRIA
Functional Logic Programming - University of Aachen
Advanced Computer Architecture Lab - USC
Individual Pages
Ines Dutra
Peter Van Roy
Vitor Santos Costa
Manuel Hermenegildo
Jonas Barklund
Research Projects
Reform Prolog
Goedel
ACE
MUSE
Mercury
Oz
Andorra-I
Aquarius
Organizations
Association for Logic Programming
ICOT
Prolog 1000
Pubblications
Constraints Archive at City University
Logic Programming Repository
Resources in Object Oriented Logic Programming
Journal of Functional and Logic Programming
Journal of Logic and Computation
Products
IQSOFT - Hungary
SICStus Prolog
AMZI! Prolog
Quintus Prolog
Applied Logic Systems Inc.
'Enrico
Sat Jan 6 22:03:48 MST 1996