Hi, Looking for light-weight logical reasoning languages to accelerate AI prototyping. An opencyc developer suggested that I investigate The Knowledge Machine: http://www.cs.utexas.edu/users/mfkb/RKF/km.html Are there other popular favourites, or possibly even some tailored to game development? Thanks, Darren