There are a number of Prolog implementations, both commercial and for free, for various operating systems, including DOS, Windows, Mac OS, Linux, and Unix. There are also Prolog implementations for the JVM.
Some of these implementations include:
For a complete list of Prolog implementations, see the Wikipedia article
Resources and Tutorials
- Logic Puzzle Solver
- Artifial Intelligence program to play a game against a human