The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
Syntax tree editor for rapid annotation of existing text
Euler Yet another proof Engine
Java Internet Prolog (Moved to GitHub)