Virtual Library Computing Languages Prolog AI

The following information is available:

General repositories

Prolog

Window system interfaces

Other logic programming systems

Meetings

Books

Related information

General repositories

• Logic Programming and Prolog including the ISO Prolog Standard.

• 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. 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.

• 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.

• 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.

• 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.

• Logic and Prolog 1999/2000 course, King's College London, UK.

If you do not have direct newsgroup access, see comp.lang.prolog articles and try searching for logic programming or Prolog from Deja.com.

The following may be of interest:

• CMU Prolog Repository (large).
• 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).
• 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:

• 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.
• 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.
• 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: lpa@cix.compulink.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.

• 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.

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.

• SAMPLE AI language.
• XSB, system with OLDT-resolution and HiLog capability. Compiler for Linux, Sun, Sparc, and NeXT. Email: xsb-contact@cs.sunysb.edu.

• 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.

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).

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 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 now on-line!

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

Part of the OUCL archive.