  |
http://jlogic.sourceforge.net/ - http://jlogic.sourceforge.net/
A Prolog interpreter, written in Java, that is well suited for educational purposes. It works as both an application and as an applet. |
  |
Prolog+CG - http://prologpluscg.sourceforge.net
Java implementation of Prolog plus the Conceptual Graphs of John Sowa. Object oriented extensions also included. [Open source, LGPL] |
  |
Jinni 2000 (Java INference Engine and Networked Interactor) - http://www.binnetcorp.com/Jinni/
A fast multi-threaded, networking and GUI enabled Prolog compiler, extensible through a Reflection based Java interface. |
  |
http://www.ifcomputer.com/MINERVA/ - http://www.ifcomputer.com/MINERVA/
Implementation of ISO Prolog in 100% Java. Extensible with any Java class. Callable as servlet, applet, standalone, or Java class library. Includes XML parser and generator. [Commercial] |
  |
http://www.ugosweb.com/jiprolog/ - http://www.ugosweb.com/jiprolog/
Java Internet Prolog is a Prolog Java-compatible interpreter. JDK1.1- and Edinburgh Prolog-compliant this Prolog version allows code written in Prolog to be run in any Java applet or application and Java methods to be called in any Prolog code. |