Logic and (concurrent) constraint programming

Organisations

• Association for Logic Programming, ALP
• International Master's Program in Computational Logic

Prolog

• SICStus
• Quintus
• B-Prolog
• IfComputer (IF-prolog, MINERVA)
• SWI-Prolog
• Prologia, (Prolog-IV)
• Strawberry Prolog
• Jocelyn Paine's public domain Prolog resources page
• CMU AI Repository, Prolog Section

Downloadable prolog systems

• Ciao, a free high-quality prolog system
• SWI-Prolog is also free
• GNU-Prolog is also free
• AMZI provides a prolog system free for download
• Jinni 2000, a fast Java based prolog (Demo)

Companies and various links

• Logic Programming Associates, LPA
• Tacton, a swedish consultant company started by former KTH-D-students (!). Web based demo!
• Prolog links
• The WWW Virtual Library logic programming page
• Most recent and accurate FAQ, especially regarding available Prolog systems
• ISO standards for prolog

Alternatives and extensions

• Object-oriented logic programming
• Logtalk
• Object Oriented Language: Prolog
• Mercury
• Bibliographic database

Online Tutorials and books

• Learn Prolog Now!
• On-Line guide to Prolog Programming
• Suggestions on good prolog programming style
• Object oriented language: Prolog
• A prolog tutorial
• A tutorial for software engineering with Prolog
• Introduction to Prolog for Mathematicians
• AMZI's prolog tutorial
• Material from a course given at University of Birmingham.
• Material from an extensive course given at CLIP, University of Madrid.
• online Prolog course (NB! The content relates to an older version of SICStus Prolog, from before the Prolog standard was adopted). This link might be useful as a complement to the manual and as a source of exercises.
• course page from Uppsala course

Examples

• Article on the use of Prolog to develop the telecom language Erlang

Computational and Mathematical Logic

• Logical arguments
• Everything you wanted to know about Kurt Gödel