Fandom

Formal Methods Wiki

Logic programming

120pages on
this wiki
Add New Page
Talk0 Share
VL2

Virtual Library
Computing
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. C++ Codings


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.


PrologEdit

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:

MeetingsEdit

BooksEdit

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.

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.