Programming languages for the Java Virtual Machine JVM and Javascript

JavaLog is a Prolog interpreter written in Java(tm) designed to allow easy integration between Java and Prolog.

CKI Prolog is a small but fine prolog implementation, running under Java with less than optimal, but more than acceptable speed. It was designed to be compatible with Sicstus, SWI and any other prolog implementation. The current edition, beta4 , lacks floating point and DCG, and some (non-essential) predicates are not predefined. CKI prolog can handle operator notation, integer arithmetic, lists, cut and dynamic assert/retract.

NetProlog is a logic programming system that generates a binary code, executable in the Java Virtual Machine (JVM). It follows almost completely the syntax traditionally used in the ISO Prolog implementations. For each logic predicate is generated a corresponding Java class, which can be used as a regular code generated for the JVM by any means.

JIP – Java Internet Prolog is a cross-platform PureJava100% prolog interpreter developed in JDK1.1 and supporting the prolog Edinburgh syntax. By its API you can call your predicates written in prolog in any java applet or application without dealing with JNI and, vice versa, you can invoke java methods in your prolog code as you call predicates.

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.

DGKS Prolog is an interpreter written in Java with an IDE.

jProlog is close to Clocksin-Mellish Prolog, with lots of the typical builtins.You need a Prolog system (SICStus, BinProlog, BIMprolog are ok – SWI doesn’t work apparently)