Hello,

> PS: Talking about smart programs: Is there a library anywhere that
>     could be used to implement expert systems in Haskell or to
>     evaluate Horn clauses in Prolog style?
>
Here is one possible starting point is the backtracking monad transformer by Oleg et al:

   http://okmij.org/ftp/Computation/monads.html#LogicT

--Jeff
---

This e-mail may contain confidential and/or privileged information. If you
are not the intended recipient (or have received this e-mail in error)
please notify the sender immediately and destroy this e-mail. Any
unauthorized copying, disclosure or distribution of the material in this
e-mail is strictly forbidden.