Several Prolog environments are available, and probably the best idea is simply to google what's available. But we list here some of the more widely used systems. Or go to the comp.lang.prolog FAQ for a more complete list.
A Free Software Prolog environment, licensed under the Lesser GNU public
license. This popular interpreter was developed by Jan
Wielemaker. This is the interpreter we used while developing this book.
Industrial strength Prolog environment from the Swedish Institute of
|Another more widely used free Prolog compiler developed by Daniel Diaz. http://www.gprolog.org
A Prolog compiler developed at the Universidade do Porto and Universidade
Federa do Rio de Janeiro. Free for use in academic environments.
|Strawberry Prolog is specially designed for education. It works with Windows Vista/XP as well as Unix/Linux. It is developed at the Bulgarian Academy of Sciences and can be downloaded from http://www.dobrev.com/