[Haskell-cafe] Expert systems

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 language. Am I mistaken? Thanks, Joel -- http://wagerlabs.com