Logic Programming

Please mail J.P.Bowen@reading.ac.uk if you know of relevant on-line information not included here. Use the comp.lang.prolog newsgroup for queries related to logic programming in general and Prolog in particular.

This document contains some pointers to information on Logic Programming available around the world on the World Wide Web (WWW or W3), a global hypermedia system providing worldwide information.

The following information is available:

General repositories

Prolog

Window system interfaces

Other logic programming systems

Meetings

Related information

indicates new entries.

indicates a (subjectively!) recommended link for especially good on-line information. If enough people email me, I will add a star to entries recommended by others.

General repositories

Logic Programming in North America (NALP). Projects, applications, resources, people, papers, ISO standard, etc.
Logic Programming Group and searchable papers related to logic programming by people at Department of Computing, Imperial College, London, UK.
Association of Logic Programming (ALP). See useful links.
Bibliographies on Logic Programming.
Programming Language Research page including pointers to areas related to logic programming.
Compulog Net, European Network of Excellence in Computational Logic.
Constraint Logic Programming (CLP): Constraints Archive See also FTP Archive and comp.constraints newsgroup.
Inductive Logic Programming (ILP): ILPNET is the Inductive Logic Programming European Scientific Network.
Papers on logic programming in computer science journals (authors/titles only) and technical reports (abstracts).
Logic programming information at Dept. of Computing & Electrical Engineering, Heriot-Watt University, Edinburgh.
Logic programming meeting proceedings bibliographies in BibTeX format from DFKI Programming Systems Lab.
ICOT Free Software (IFS) archive (Japan). Second sourced at SICS (Sweden), GMD (Germany) and Univ. of Oregon (USA) with the same directory hierarchy. See the README file for further information. Includes cu-Prolog and KLIC. For information on IFS, email ifs@icot.or.jp.
Logic programming archive at INRIA, France.
ESPRIT GENTZEN Working Group Extensions of Logic Programming (ELP) subgroup.
Constraint Logic Programming Research Group at the Ohio State University.
Evolving Algebras including papers relation to logic programming, WAM and Prolog.
List of Bibliographies on Artificial Intelligence including many on logic programming.
Prolog and Logic Programming course at the University of Birmingham School of Computer Science.
Logic Programming information from ACM SIGART.
Simply Logical: Intelligent Reasoning by Example by Peter Flach, John Wiley & Sons, 1994, covers theoretical and practical aspects of Prolog programming and information on AI.
Abstract Interpretation for Logic Programming Bibliography.
Logic Program Synthesis and Transformation EC Human Capital and Mobility programme.
Logical Frameworks home page.
Database Systems and Logic Programming.
Journal of Functional and Logic Programming, a new electronic journal from The MIT Press.
Journal of Logic and Computation, published by OUP.
Prolog 1000, a database of real Prolog applications assembled in conjunction with the ALP and PVG. Email cdsm@doc.ic.ac.uk (Chris Moss) or leon@cs.mu.oz.au (Leon Sterling).
Issues in Implementing Logic Languages.
Applied Logic Systems, Inc. (ALS) produce Prolog and CLP compilers.
Hybrid Systems Tool (HST), using GSF/CLP(R) constraint logic programming.
GUPU, an environment specialized for Prolog programming courses.
Intensive Prolog course from the Knowledge Media Institute Open University, UK.
Concurrent and Constraint Logic Programming, Department of Computer Science, University of Bristol, UK.
Functional Logic Programming.
Pisa Logic Programming Group, Italy.
Natural Language Computing project, Linguistics Department, New York University, USA. Universal grammar in Prolog.
Machine Learning Group, Oxford University Computing Laboratory, UK. Mainly Inductive Logic Programming. See also Progol.
Beddoe Research Group, Department of Computer Science, Monash University, Australia. Interests includes CLP(R).
Logic Programming & Software Engineering Research Group, including the Extensions of Logic Programming (ELP) subgroup, Information Systems and Computing Department, The Politechnical University of Valencia (UPV), Spain.
Laboratory for Logic,Databases and Advanced Programming, Department of Computer Science, New Mexico State University in Las Cruces, USA.
Logic Programming Research Related Pages links from Slava Petukhin, Irkutsk State University, Russia.

Prolog

Prolog is the most generally used logic programming language. The newsgroup comp.lang.prolog provides a forum for discussion. See also the associated information on

Frequently Asked Questions (second sourced). See also original FAQ source. Archived articles are available in Canada, France, the UK and USA.

The following may be of interest:

Prolog Programming Language information.
CMU Prolog Repository (large).
Draft ISO Prolog Standard (see also Prolog here) and information on the ISO/IEC JTC1 SC22 WG17 standardization of Prolog.
IC Prolog II on-line manual.
Public-domain WAM emulator, written in C++ by Herve Touati.
Prolog Management Group of major companies with an interest in Prolog.
CWRU ProSE Research Group (Prolog for Software Engineering).
An on-line list of Prolog books is available from Blackwell's Bookshop.
Prolog Development Center, Copenhagen, Denmark. See Visual Prolog.

Sources for Prolog and other related logic programming systems including constraint and parallel Prolog system implementations are available.

For multiple platforms:

ALS Prolog compiler from Applied Logic Systems, Inc.
BinProlog from BinNet Corp. See also Jinni (Java INference Engine and Networked Interactor).
B-Prolog compact and complete Prolog for Unix and Windows.
IF/Prolog system from IF Computer. For Unix (including Linux and OSF/1), MS-Windows 3.1 and NT, OS2. Interfaces to C, C++ and SQL Databases including Oracle, Informix and INGRES. Access to Motif 1.1 and 1.2 , Athena widgets and Windows DDEML interfaces. Email prolog@mch.sni.de (Germany), ifcj@IFComputer.co.jp (Japan) or ifca@hk.net (Hong Kong).
IT ProLog from IT Masters. Several supported platforms (Unix and Windows NT). Was BIM ProLog.
LPA WIN-PROLOG, MacProlog32 and Prolog++ from Logic Programming Associates Ltd, UK.
Quintus Prolog is a commercial implementation from Quintus Corporation. For Unix and MS Windows. To join the mailing list, email quintus-users-request@aiil.co.uk. Now supported by AI International Ltd.
SICStus Prolog is a commercial portable implementation for most Unix machines, Windows and Macintosh. Send requests for ordering information to sicstus-request@sics.se. To join the mailing list, email sicstus-users-request@sics.se.
SWI Prolog. For Unix and MS Windows. (Second sourced.) Portable, copy-lefted. See on-line manual and SWI-Prolog Compiler for Linux.

For Unix systems:

Modular SB-Prolog (= SB-Prolog version 3.1 plus modules). Interpreter for SPARC. Email: mprolog@dcs.ed.ac.uk (Brian Paxton).
Aquarius Prolog 1.0, send message with body "get aquarius-info license" to listserv@acal-server.usc.edu. High performance, commercial functionality except debugging and modules. For SPARC, DECstation, MIPS, HP 9000 series, Sun 3. Copy-lefted. Send all questions, comments, and bug reports to aquarius@acal-server.usc.edu.

For the IBM PC:

Amzi! Prolog + Logic Server (former Cogent Prolog). Commercial implementation for embedding Prolog in other tools. Runs under Windows 3.x, 95, WFW, NT 3.5x, DOS, Extended-DOS. Allows embedding of Prolog components in C/C++, Visual Basic, Delphi, Access, PowerBuilder and many other tools. See Prolog information and demos and samples. Email info@amzi.com for information.
ADA Prolog (fairly slow) and ESL Prolog (good, fast). (See contents for full list.) Email: mcovingt@uga.cc.uga.edu (Michael Covington).
LPA WIN-Prolog is a commercial implementation available on Windows 3.1, Macintosh and MS-DOS. Email: lpa@cix.compulink.co.uk.
Strawberry Prolog freeware Prolog compiler for Windows 95/NT. (Unix and Macintosh versions planned.)
SWI Prolog. (Second sourced.) Portable, copy-lefted.
Visual Prolog from the Prolog Development Center available under DOS, Windows 3.1 and 3.11, OS/2 2.x and above, Windows NT.

For the Apple Macintosh:

Demo version of LPA MacProlog. (See contents for full list.) Email: mcovingt@uga.cc.uga.edu (Michael Covington).
Open Prolog. (Second sourced.) Email: brady@cs.tcd.ie (Michael Brady).
UPMAIL Tricia Prolog. (Get the README file first.) Email: tricia-request@csd.uu.se.
TPM (the Transparent Prolog Machine). Demo LPA MacProlog with the TPM debugger built on top.

Window system interfaces (mainly X-Windows)

PI, an interface between Prolog applications and the X Window System.
ProTcl, the Prolog interface to the Tcl/Tk toolkit.
ProWindows 3 is a commercial version of XPCE for Quintus Prolog. Email sheywood@aiil.co.uk.
XPCE, an object-oriented X-window interface toolkit for symbolic programming languages (Prolog and Lisp). Email xpce-request@swi.psy.uva.nl to join the mailing list.
XWIP, an X Windows interface for Prolog (second sourced).

Other logic programming systems

&-Prolog, And-parallel Prolog. Source available. Contact herme@fi.upm.es.
ACE, And-Or-parallel Prolog. Contact herme@fi.upm.es and/or (!) epontell@cs.nmsu.edu. For papers/reports, contact gupta@cs.nmsu.edu.
Actor Prolog, an object-oriented Prolog (information in Russian).
ALF (Algebraic Logic Functional language), an integrated functional logic language based on narrowing/rewriting. Email: michael@mpi-sb.mpg.de (Michael Hanus).
Andorra-I, an Or- and (deterministic) and-parallel Prolog. Source available.
Aurora, Or-parallel Prolog. Source available.
CLP(BNR) and CLP(RI) compilers from Applied Logic Systems, Inc.
clp(FD), a constraint logic programming language for Finite Domains from INRIA, France (see README file for installation details).
clp(FD,S), a generic language for semiring-based constraint solving.
CLP(R), available by email request from Joxan Jaffar on joxan@watson.ibm.com. A Constraint Logic Programming language, for academic and research purposes only.
cu-Prolog, a constraint logic programming language from ICOT Free Software (Japan) for use under Unix. Second sourced at SICS (Sweden), GMD (Germany) and Univ. of Oregon (USA). Email cup-request@icot.or.jp to join the mailing list.
ECLⁱPS^e Constraint Logic Programming System.
Elf constraint logic programming language based on the LF Logical Framework.
Flang (Functional-Logic Programming Language), Russia.
Gödel logic programming language.
KLIC, a language system of the concurrent logic programming language KL1 (version 1.410) for Unix-based computers from ICOT Free Software (Japan). Second sourced at SICS (Sweden), GMD (Germany) and Univ. of Oregon (USA).
lambda Prolog, an extension to Prolog including higher-order programming, polymorphic types, modules, abstract datatypes, and direct support for lambda-terms.
LeanTaP, a small theorem prover written in SICStus Prolog.
Logtalk, an extension for Object-Oriented Programming in Prolog.
LIFE (Logic, Inheritance, Functions, and Equations), an experimental programming language.
MALI logic programming language, INRIA, France. Contact prolog-mali-request@irisa.fr to join the mailing list.
Mercury, a pure logic programming language designed for the development of efficient and robust real-world applications, based on strong types and modes.
Mixtus, an automatic partial evaluator for full Prolog.
MONA, a logic-based programming language and tool that translates programs (or formulas) to finite-state automata.
Muse, Or-parallel Prolog. Source available. Contact roland@sics.se.
Oz System for constraint programming from the DFKI Programming Systems Lab, including a logic sublanguage.
Progol, an ILP system.
RELFUN extends Horn logic by higher-order syntax, first-class finite domains, and eager expressions of non-deterministic, non-ground functions, explicitly distinguished from structures.
XSB, system with OLDT-resolution and HiLog capability. Compiler for Linux, Sun, Sparc, and NeXT. Email: xsb-contact@cs.sunysb.edu.

Meetings

Summary of conference paper submission deadlines in the area of programming language theory, including logic programming.
Logic-Related Conferences.
ASTAP (Advanced Software Technology Awareness Programme).
International Workshop on Nonmonotonic Reasoning (in connection with KR'98) NMRW'98 Logic Programming workshop, Trento, Italy, 30 May - 1 June 1998 .
PACT (Practical Application of Constraint Technology). PAP/PACT98, London, UK, 25-27 March 1998. See also other related conferences and resources.
PAP (Practical Applications of Prolog). PAP/PACT98, London, UK, 25-27 March 1998.
LOPSTR'97. See also LoPSTr'96, PLILP'95 (Programming Languages, Implementations, Logics and Programs) in parallel with LoPSTr'95 (Fifth International Workshop on Logic Program Synthesis and Transformation), previous PLILP meetings including PLILP'94 / ALP'94 joint conference (Programming Language Implementation and Logic Programming / Algebraic and Logic Programming).

Related information

Artificial Intelligence
Formal methods
Functional programming (see also archive and functional languages)
Functional logic programming
Programming language research
Logic programming and Prolog links from Yahoo.
Prolog links from NewHoo.
Theory of computation sites and other computing sites

Last updated by Jonathan Bowen, 5 December 1998.
Further information for possible inclusion is welcome.

Part of the OUCL archive.