Let's implement ask and tell vis-à-vis a knowledge base (AIMA ch. 7)

Prasan and Ryan mentioned that it might be a sufficiently interesting problem to implement the ask and tell operations in a knowledge base; someone did it using a homoiconic language here:

http://www.cs.berkeley.edu/~russell/code/doc/overview-LOGIC.html#logic/algorithms/tell-ask.lisp