Interesting sites about Logic Programming

The following is a list of sites we consider interesting for peopple working on Logic Programming and related areas. If you have any suggestion or comment, please mail to alonso@dc.fi.udc.es.

• Companies
  • Logic Programming Associates
  • Prolog Management Group
  • Prolog Development Center.
  • Prologia
• Journals
  • Journal of Functional and Logic Programming.
  • The Journal of Logic Programming (also an alternative site for JLP by Manuel Hermenegildo and other alternative site with JLP contents by Michael Ley).
  • The LP Newsletter Archive.
• Logic Grammars
  • Extended DCG's: Declarative Programming with State.
• Organizations
  • Association of Logic Programming.
  • COMPULOG NET, ESPRIT Network of Excellence, Parallelism and Implementation Technologies Area.
• People
  • Eric de la Clergerie (INRIA Rocquencourt, France).
  • Andrew Davison (Melburne, Australia).
  • Allen van Gelder (UCSC).
  • Manuel Hermenegildo (UPM, Spain).
  • Ulf Nilsson (Linköping, Sweden).
  • Luís Moniz Pereira (Uninova, Portugal).
  • Peter van Roy (Louvain, Belgium).
  • Frieder Stolzenburg (Koblenz, Germany).
  • David S. Warren (Stony Brook, USA).
• PROLOG
  • Arity/Prolog
  • ECLiPSe
  • LPA-Prolog++
  • Mu-Prolog
  • Nu-Prolog
  • Prolog II
  • Prolog III
  • Prolog IV
  • SICStus Prolog
  • Strawberry Prolog (freeware)
  • Trinc-Prolog
  • SWI Prolog (freeware)
• Research Centers
  • Institutes
    • SICS, Swedish Institute of Computer Science: Intelligent Systems Laboratory.
    • INRIA: LOCO Project.
  • Universities
    • Linköpings: The Logic Programming Laboratory of the Department of Computer and Information Science.
    • Madrid (UPM): CLIP Lab of Department of Artificial Intelligence at Facultad de Informática.
    • Marseille: LIM, Laboratoire d'Informatique de Marseille.
    • NMSU: Laboratory for Logic,Databases and Advanced Programming.
    • State University of New York at Stony Brook : The XSB Research Group of Computer Science Department.
• Resources
  • CMU Prolog Repository.
  • Prolog Resource Guide at CMU.
  • The World Wide Web Virtual Library: Logic Programming.
• Teaching
  • Millersville University -> PROLOG code examples.
• Misc
  • Implementation of Logic Languages.
  • Logical Frameworks.