Virtual Library
Software engineering
Formal methods

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.

New indicates new entries. Star11t 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 repositoriesEdit

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.


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 Star11tFrequently Asked Questions.

The following may be of interest:

Star11t 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:

For the Apple Macintosh:

See also:

Window system interfaces (mainly X-Windows)Edit

Other logic programming systemsEdit

See also:



Related informationEdit

Search for logic programming and Prolog from Google.

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

Community content is available under CC-BY-SA unless otherwise noted.