The GNU Prolog native compiler
ADP is a script language designed for Web database prgramming.
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
A 100% Java Warren Abstract Machine implementation.