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

[Jeff Polakow]

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.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org/pipermail/haskell-cafe/attachments/20061219/c0e4f29c/attachment.htm