The GNU Prolog native compiler
A general purpose syntax highlighter in pure Go
ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
Syntax tree editor for rapid annotation of existing text
ADP is a script language designed for Web database prgramming.
Euler Yet another proof Engine
A logic programming tool and a logical database with a RESTful API
Prolog to C compiler with runtime for DOS, Windows and Raspbian
Implements the stable model semantics without grounding.
Formalized Research Database: Cluster, Study and Apply
An implementation of the Squl declarative programming language.
C#Prolog -- A Prolog interpreter written in managed C#
Java Internet Prolog (Moved to GitHub)