Cyc+Jamud
Integrates a Java MUD with an OpenCyc Server

Mud Server in OpenCyc
OpenCyc server into it's own MUD

Prolog Virtual Worlds
Microsoft Virtual Worlds Client and Prolog engine in Visual Basic

OpenCyc Javashell
Allows CYC to perform/author java code and Introspect on classes

OpenCyc KIF Tools
KIF to CycL Conversions

Worldforge Rules Server
Graphical MUD Server written in Prolog

Atlas Object Editor
Maintain MUD Ontologies from Java Graphical Interface

Freecraft Agents
Hack Starcraft and Warcraft II games into Rule based Agent systems

Natural Language Search Tools
Questions and answers from Wiki

OpenModality Inference Engine
Core Inference tools for many of the projects above

Loebner Prize Winning Chatbot  
Win the Real Loebner Prize by 2005 :)

ActiveX for SWI-Prolog
Written by David Hovel of Microsoft Research.