Il existe différents outils pour permettre de programmer en Prolog:
Possède un débuggeur graphique ainsi que plusieurs solveurs de contraintes
http://www.swi-Prolog.org
Propose un solveur de contraintes sur domaine fini
http://gnu-Prolog.inria.fr
Possède des extensions en plus, dont plusieurs solveurs de contraintes
http://www.sics.se/sicstus
gratuit
http://www.visual-prolog.com/vip6/Download/default.htm
