Short C++/Java/C#/Python benchmark
a reasoning engine for agents and games
A Java front-end to the dnrDALMAS Prolog Module.
A general-level Prolog implementation of the DALMAS architecture.
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
Yadlr toolset for many-valued inference
A 100% Java Warren Abstract Machine implementation.
(download) Linux Adequate"available approximately five days"