Gentoo Project

Prolog

A WAM based Prolog system

GNU Prolog for Java is an implementation of ISO Prolog as a Java library

Native Prolog compiler with constraint solving over finite domains (FD)

InterProlog is a Java front-end and enhancement for Prolog

Open source object-oriented logic programming language

Extended Prolog supporting quantifiers, object-variables and substitutions

Versatile implementation of the Prolog programming language

tuProlog is a light-weight Prolog for Internet applications and infrastructures

XSB is a logic programming and deductive database system

YAP is a high-performance Prolog compiler