Virtual
Library
Computing
Languages
Prolog
AI
Please contact Jonathan Bowen 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.
The following information is available:
General repositories
- Prolog
- Window system
interfaces
- Other logic programming
systems
- Meetings
- Books
- 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.
- 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.
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:
Sources
for Prolog
and other related
logic programming systems including constraint
and parallel
Prolog system implementations are available.
For multiple platforms:
For Unix systems:
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:
See also:
See also:
- 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).
Last updated by Jonathan Bowen, 9 June
2001.
Further information for possible inclusion is welcome.
Part of the SBU
Museophile archive.