Is there an expert system implemented in Haskell, or a library perhaps?
A CLIPS/RETE implementation?
The main stumbling point, from my perspective, is how to implement a
knowledge base and check whether patterns with a certain "shape" have
been asserted. It's much easier to do this in a dynamically-typed