=== Tools and Download ===

----


== Useful implementations of Prolog ==


Here is a list of some most useful implementations of Prolog:

*[[http://www.swi-prolog.org|SWI-Prolog]]


*[[http://www.gprolog.org/|GNU Prolog]]


*[[http://www.amzi.com/|Amzi! Prolog + Logic Server]]


*[[http://www.lpa.co.uk/|LPA Prolog]]




== Other ==


  * Constraint Programming Tools: [[http://www.eclipse-clp.org/|ECLIPSe]]

  * Free Prolog Compilers and Interpreters: [[ http://www.thefreecountry.com/compilers/prolog.shtml| List of implementations]]