Scone
Scone is a high-performance, open-source knowledge-base (KB) system intended for use as a component in many different software applications.

http://www.cs.cmu.edu/~sef/scone/

The users manual

Topics: AI