Java Internet Prolog (Moved to GitHub)
A cross platform audio inteface
TuCSoN tuple-based coordination middleware
Goal-directed answer-set programming
Yadlr toolset for many-valued inference
(download) Linux Adequate"available approximately five days"
IMDb Relational Dataset Generator
niCom Collaborating Environment
Prolog wrapper for BWAPI
A java modeling framework based on frame-slot-facet Minksy's theory
Teaching planner tool to help universities in developing countries