The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
A Database System for Metamodeling and Method Engineering
Euler Yet another proof Engine
Java Internet Prolog (Moved to GitHub)
Goal-directed answer-set programming
A 100% Java Warren Abstract Machine implementation.