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
- A logic programming blog
Some Prolog (-like) systems
- SWI-Prolog
- Swish: online version of SWI-Prolog
- Tau Prolog: a Javascript implementation of Prolog
- Skryer Prolog
- Ciao Prolog
- ECLiPSe
- GNU Prolog
- SICStus Prolog
- XSB Prolog
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: Victor Lagerkvist
Last updated: 2021-09-22