[To obtain the latest versions of the documents in this section, see the document home sites index.]
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.
A free Prolog interpreter for DOS | |
Another free Prolog interpreter for DOS (Prolog-2) | |
SWI Prolog, a free Prolog implementation for Windows 95/NT |
An Introduction to Prolog for mathematicians (but good for non-mathematicians too!) | |
The Prolog Resource Guide FAQ from the newsgroup comp.lang.prolog |
Logic programming links at Oxford University | |
The CMU Prolog Repository | |
Logic Programming in North America | |
The online Journal of Functional and Logic Programming | |
Prolog links at Demon | |
Prolog links at Yahoo (or at Yahoo UK) | |
The newsgroup comp.lang.prolog |