LogicMOO

Jo pointed us at this... this... look, it's a mixture of Java, MOO, KIF and OpenCyc, and I can't think about it any more because it's already way too late and my brain's threatening to explode. Suffice to say that it can apparently be used to create semi-intelligent bots that roam around MOOs and can be controlled from IRC. Jo compared its understanding of environments to SHRDLU. Dude. (UPDATE: Phil pointed out that I'd forgotten the actual link to the LogicMOO site. UUNNNNHH.)