TDDD08 Logic Programming
Links
Readings on Prolog and related topics
- Logic Programming @ Formal Methods Wiki
- Prolog @ Wikipedia
- Logic programming @ Wikipedia
- Constraint logic programming @ Wikipedia
- Constraint programming @ Wikipedia
- Learn Prolog Now!
- Adventure in Prolog
- Logic, Programming and Prolog (2ed)
- Prolog tutorial
- PrologSite
- On-line guide to Prolog programming
- On-line guide to Constraint programming
Some Prolog (-like) systems
Prolog IDEs
- An Emacs mode for Prolog
- Emacs for SICStus
- Spider for Eclipse and SICStus
- ProDT for Eclipse
- PDT for Eclipse
- Yet another IDE for Eclipse
Misc resources
Page responsible: Ulf Nilsson
Last updated: 2011-05-15
