The GNU Prolog native compiler
Syntax tree editor for rapid annotation of existing text
Deductive Database with Datalog, SQL, RA, TRC, DRC
Implements the stable model semantics without grounding.
C#Prolog -- A Prolog interpreter written in managed C#
TuCSoN tuple-based coordination middleware
Goal-directed answer-set programming
(download) Linux Adequate"available approximately five days"
Teaching planner tool to help universities in developing countries