DiSCiPl

Debugging Systems
for Constraint Programming

---

A selection of interesting sites

---

• The ESPRIT Network of Excellence in Computational Logic
• An Australian declarative debugging project
• The Prince project : Synopsis, Results
• VOCAL (a Trial Application of the Prolog IV constraint programming tool)