ADP is a script language designed for Web database prgramming.
The GNU Prolog native compiler
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