The GNU Prolog native compiler
ECLiPSe Constraint Logic Programming System
Euler Yet another proof Engine
Syntax tree editor for rapid annotation of existing text
Implements the stable model semantics without grounding.
C#Prolog -- A Prolog interpreter written in managed C#
Java Internet Prolog (Moved to GitHub)
Goal-directed answer-set programming
Constraint Logic can solve word logic puzzles.