Logic programming

From Formal Methods Wiki

Please contact Jonathan Bowen if you know of relevant online 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.

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.

---

Contents 1 General repositories 2 Prolog 3 Window system interfaces (mainly X-Windows) 4 Other logic programming systems 5 Meetings 6 Books 7 Related information

[edit] General repositories

• Logic Programming and Prolog including the ISO Prolog Standard and other resources.
• 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).
• Bibliographies on Logic Programming.
• CoLogNET, European Network of Excellence in Computational Logic. Previously Compulog Net.
• Programming Language Research page including pointers to areas related to logic programming.
• Constraint Logic Programming (CLP): See also [news:comp.constraints comp.constraints newsgroup. See book:

Programming with Constraints: An Introduction, Kim Marriott and Peter J. Stuckey The MIT Press, 1998. ISBN 0-262-13341-5.
See author information including program examples and course material.

• Inductive Logic Programming (ILP): ILPNET is the Inductive Logic Programming European Scientific Network.
• Logic programming information at Dept. of Computing & Electrical Engineering, Heriot-Watt University, Edinburgh.
• Evolving Algebras including papers relation to logic programming, WAM and Prolog.
• 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.
• Journal of Logic Programming, published by Elsevier. See contents
• 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.
• 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.
• Logic and Prolog 1999/2000 course, King's College London↑, UK.
• "logic+programming" Logic programming puplications from Google Scholar.

---

[edit] Prolog

Prolog is the most generally used logic programming language. comp.lang.prolog (also via Google) provides a forum for discussion. See the associated information on Frequently Asked Questions.

The following may be of interest:

• CMU Prolog Repository (large).
• IC Prolog II on-line manual.
• Prolog Management Group of major companies with an interest in Prolog.
• CWRU ProSE Research Group (Prolog for Software Engineering).
• Prolog Development Center, Copenhagen, Denmark. See Visual Prolog.
• Prolog Programming: A First Course, an on-line book for a short Prolog course by Paul Brna.

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

For multiple platforms:

• BinProlog from BinNet Corp. See also Jinni (Java INference Engine and Networked Interactor).
• B-Prolog Prolog / constraint logic programming (CLP) system.
• GNU Prolog compiler, a free Prolog compiler with constraint solving over finite domains. See main web site
• IF/Prolog system from IF Computer. For Unix, Windows 95/98, Windows NT.
• 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.
• MINERVA. Commercial ISO Prolog in Java, Japan.
• PROLOG+CG. Integrates Prolog, Conceptual Graph, object-oriented programming and Java, from INSEA, Rabat, Morocco. (Windows, Unix, etc.) See also online course material (aimed especially at people from the humanities).
• Quintus Prolog. For Unix and MS Windows.
• 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.
• YAP Prolog System (Yet Another Prolog). High-performance Prolog compiler for Linux/Solaris/Windows NT,95,98. Free use in academic environments.

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 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: info@lpa.co.uk.
• Qu-Prolog. Support symbolic computation for mathematical notations and specification languages such as Z.
• Strawberry Prolog freeware Prolog compiler for Windows 95/NT. (Unix and Macintosh versions planned.)
• Trinc-Prolog. An object-oriented Prolog for Windows. On-line trial version available.
• Visual Prolog from the Prolog Development Center available under DOS, Windows 3.1/95/98, NT, OS/2, SCO Unix, Linux. See also freeware version.

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.

See also:

• Hdrug, an environment to develop logic grammars, parsers, and generators for natural languages using SICStus Prolog and ProTcl.
• JIPL: Java Interface for Prolog. Works with K-Prolog.
• JIP (Java Internet Prolog), a cross-platform Prolog interpreter for JDK1.1.
• jProlog, a Prolog to Java compiler.
• K-Prolog users manual (in Japanese).
• A large list of free/shareware Prolog implementations maintained at CMU.
• Third party software and application links listed by SICS.

[edit] 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).

[edit] 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.
• Fish, a logic programmer's shell available under the GNU general public licence.
• 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.
• SAMPLE AI language.
• XSB, system with OLDT-resolution and HiLog capability. Compiler for Linux, Sun, Sparc, and NeXT. Email: xsb-contact@cs.sunysb.edu.

See also:

• Free/shareware logic programming implementations maintained at CMU.
• Functional Logic Programming: Languages and Systems.
• Software Products from the Imperial College Logic Programming Group, UK. Includes April, IC-Prolog ][, Parlog and Euclid.

[edit] 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 .
• INAP International Conference on Applications of Prolog. See INAP 2004.
• 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).

[edit] Books

• Logic programming books and Prolog programming books listed by Amazon.com USA site.
• Logic programming books and Prolog programming books listed by Amazon.co.uk UK site.
• "logic+programming" Logic programming books from Google Print.
• Programming Logic Programming books from The MIT Press, including Logic Programming: The 1999 International Conference, by Danny De Schreye (ed.).
• Logic, Programming and Prolog, 2nd edition, by Ulf Nilsson and Jan Maluszynski. Full text online!
• Logic programming books available online from FreeTechBooks.com.

[edit] Related information

• Artificial Intelligence
• Formal methods
• Functional programming
• Functional logic programming
• Programming language research
• Logic-based programming languages including Prolog from Google Web Directory.
• Prolog links from DMOZ Open Directory project.
• Logic programming and Prolog links from Yahoo.

Search for logic programming and Prolog from Google.

---

Last updated by Jonathan Bowen, 16 March 2009.
Further information for possible inclusion is welcome.