Implementations

The successor of MU-Prolog, this compiled Prolog system designed and implemented in the mid-80's as a 'purer' logic solution, interfaces with UNIFY databases and is available under an academic license.

The University of Porto's Edinburgh-style, WAM-based Prolog engine is available on 32-bit machines running Sun and Linux and 64-bit Alphas running OSF UNIX and Linux. An open-source policy is being implemented with regard to distribution.

Experimental Prolog to Java compiler, running on JDK 1.0.2 and higher.

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.