ADP is a script language designed for Web database prgramming.
ECLiPSe Constraint Logic Programming System
The GNU Prolog native compiler
A Database System for Metamodeling and Method Engineering
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
IMDb Relational Dataset Generator