Cognitive architecture with a focus on self-models
C#Prolog -- A Prolog interpreter written in managed C#
Java Internet Prolog (Moved to GitHub)
A cross platform audio inteface
TuCSoN tuple-based coordination middleware
Goal-directed answer-set programming
A 100% Java Warren Abstract Machine implementation.
IMDb Relational Dataset Generator
A java modeling framework based on frame-slot-facet Minksy's theory
niCom Collaborating Environment
Prolog wrapper for BWAPI
Closing the gap between Space and Semantics