Experimental Prolog interpreter in Java, mixing Logic and OO paradigms.

Java Internet Prolog is a cross-platform, pure Java, 100% Prolog interpreter integrating the Prolog and Java languages, supports most ISO Prolog specifications and the most commonly used built-in predicates, and allows calling Prolog predicates from Java without dealing with native (JNI) code and invoking Java methods from Prolog as predicates.

A Prolog interpreter, written in Java, that is well suited for educational purposes. It works as both an application and as an applet.

Java implementation of Prolog plus the Conceptual Graphs of John Sowa. Object oriented extensions also included. [Open source, LGPL]

A lightweight, easy-to-use programming interface over Prolog interpreters. Prolog4J itself does not contain a Prolog interpreter, but it provides bindings for several Prolog implementations, such as tuProlog, jTrolog or JLog.

A Java-based light-weight Prolog for Internet applications and infrastructures, developed at DEIS - Universitá di Bologna. Released under GNU Library or Lesser General Public License.