JLog
JLog is an implementation of a Prolog interpreter, written in Java. It’s primary benefit is that can be run on almost any platform supporting Java (such as a web browser), and as such it is well suited for educational purposes. It works as both an application and as an applet.