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.
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
