The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
PyCLP is a Python library to interface ECLiPSe Constraint System
Java Internet Prolog (Moved to GitHub)
TuCSoN tuple-based coordination middleware
Constraint Logic can solve word logic puzzles.