The GNU Prolog native compiler
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.