Prolog

Prolog is a rule-based language developed for artificial intelligence applications. Unlike conventional languages, Prolog programs have no explicit sequence of operations. Rules are used to express relationships between entities, and these rules are used to find solutions to queries using a theorem-proving approach.

Development tools:

	Expert Systems Prolog A Prolog-2 interpreter for DOS.    ¤  Jan 1991. Public domain. Home site: ftp://ai.uga.edu/pub/prolog/Compilers/
	SWI Prolog A free Prolog implementation for Windows.    ¤  Jun 2000. Free for non-commercial use. Home site: http://www.swi.psy.uva.nl/projects/SWI-Prolog/
	Amzi Prolog + Logic Server A Prolog implementation for DOS and Windows which is a subset of Amzi's commercial offering.    ¤  Apr 1997. Freeware. Home site: http://www.amzi.com/
	Visual Prolog 5.2 A Prolog development environment for Windows.    ¤  May 2000. Free for non-commercial use. Home site: http://www.visual-prolog.com/
	NetProlog A Prolog compiler which generates codee for the Java Virtual Machine (JVM).    ¤  Jan 2000. Freeware. Home site: http://netprolog.pdc.dk/
	JavaLog A Prolog interpreter written in Java to allow easy integration between the two languages.    ¤  Apr 2000. Free software under the terms of the GNU General Public License. Home site: http://www.exa.unicen.edu.ar/~azunino/

Tutorials and FAQs:

	Prolog Programming: A First Course A Prolog textbook for beginners.    ¤  4 Mar 2001. Reproduced by permission. Home site: http://cbl.leeds.ac.uk/~paul/prologbook/
	An Introduction to Prolog for Mathematicians A nice introduction to Prolog, which (despite the title) is good for non-mathematicians too!    ¤  17 Jul 1995. Reproduced by permission. Home site: ftp://ftp.ox.ac.uk/pub/users/popx/prolog/mathnotes/files/pms/pms.html
	Adventure in Prolog A tutorial from Amzi based around developing a text-based adventure game in Prolog.    ¤  26 Feb 1997. Freely redistributable. Home site: http://www.amzi.com/
	The Prolog Resource Guide FAQ A list of available Prolog resources from the newsgroup comp.lang.prolog.    ¤  20 Feb 1997. Reproduced by permission. Home site: http://www.cs.cmu.edu/Web/Groups/AI/html/faqs/lang/prolog/prg/top.html
	Introduction to Programming Langauges A comparative study of programming languages, their development and the development of the programming paradigms that they embody.    ¤  3 Aug 2001. Reproduced by permission. Home site: http://cs.wwc.edu/~aabyan/221_2/PLBOOK/
	What is Artificial Intelligence? A layman's introduction by John McCarthy, the original creator of Lisp.    ¤  Apr 2000. Reproduced by permission. Home site: http://www-formal.stanford.edu/jmc/whatisai/whatisai.html

External resources:

	Logic programming A collection of links at Oxford University.
	The CMU Prolog Repository A large collection of Prolog-related material.
	Logic Programming Another large archive site with lots of Prolog information.
	The Journal of Functional and Logic Programming An online journal.
	Prolog links at Yahoo These are also available at Yahoo UK.
	The comp.lang.prolog newsgroup A newsgroup devoted to discussions of Prolog-related issues.