zlacker

I'm talking about logical inference on a database of facts in the hopes of representing common sense.

I have no issue with probabilistic state-space search.