Re: [Haskell-cafe] Re: A suggestion for the next high profile Haskell project

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.