ADP is a script language designed for Web database prgramming.
ECLiPSe Constraint Logic Programming System
The GNU Prolog native compiler
Implements the stable model semantics without grounding.
a reasoning engine for agents and games
Goal-directed answer-set programming
TuCSoN tuple-based coordination middleware
A 100% Java Warren Abstract Machine implementation.