ECLiPSe Constraint Logic Programming System
Java Internet Prolog (Moved to GitHub)
Calculate semantic similarity for any human and human-like languages
A simulation environment for physiology models simulation
The classic intelligent role playing game
Multi Agent Roundbased Simulator
Software for assigning supertags.