Free Stuff for Programming in Prolog

Here's some free stuff for programming in Prolog. Have fun!

Documenting Prolog: CIAO LPdoc , SWI-Prolog PlDoc, PrologDoc: manual and source. Prolog source to HTML: highlight, source-highlight.
Learning Prolog:
- A Prolog Introduction for Hackers.
- Online Tutorial: Learn Prolog Now!.
- Practicing: P-99 - Ninety-Nine Prolog Problems.
- Selected Books: Adventure in Prolog, An Introduction to Logic Programming through Prolog, Logic, Programming and Prolog, Logic for Problem Solving, The First 10 Prolog Programming Contests.
- Some Coding Guidelines for Prolog.
- The Prolog Dictionary.
Libraries:
- Biomedical: Blip.
- Finite State Automata: FSA6.
- Generic: a Public Domain Library.
- Natural Language Processing: ProNTo.
- OOP: Logtalk.
Proving Inductive Properties of Prolog/Logic Programs: LPTP is an interactive theorem prover which helps showing properties of Prolog programs, e.g., reverse/2 is a symetric relation, append/3 is associative, and insertsort/2 is equivalent to quicksort/2. An updated system.pl file for running LPTP under SWI-Prolog.
Proving Termination/Non-Termination of Prolog/Logic Programs: AProVE, cTI/nTI, TALP, TermiLog, TerminWeb.
Questions? FAQ, newsgroup.
Some Prolog Systems: Ciao Prolog, Eclipse, GNU Prolog, SWI-Prolog, XSB, YAP.
Related Logic-Based Programming Languages: CHR, Mercury, Visual Prolog.
Specialising Prolog Code: ECCE.
Teaching Prolog: CLPGUI, Definite Clause Deduction, GUPU.
Theorem Proving with Prolog: PTTP, a simplified implementation for SWI-Prolog, examples and exercises (in French).
Type-checking Prolog: TCLP.
Unit Testing in Prolog: SWI-Prolog PlUnit.
Web Programming in Prolog:
- HTML, SGML, XML: Pillow, SWI-Prolog SGML/ML package, XML.pl.
- HTTP: SWI-Prolog HTTP support. HTTPS: SWI-Prolog SSL Interface.
- RDF: parsing RDF SWI-Prolog RDF parser, storing and querying RDF SWI-Prolog/XPCE Semantic Web Library. See also: Triple20.

Thanks to Bart Demoen, Nuno Morgadinho, and Chris Mungall. Last modified: 2008-02-22, Fred Mesnard