Bill Wood wrote:
>
> As to utility, quite the contrary, I think. Offhand I can think of the
> screamer package for Common Lisp, which provides non-deterministic
> mechanisms for use in backtracking applications. For a while in the
> 80's there was practically a cottage industry implementing various
> flavors of Prolog and other Logic Programming languages in Lisp; one
> notable example was LogLisp.
I think the goal was to present an application where Lisp macros
made for a more succinct program than the equivalent Haskell version.
http://www.google.com/search?&q=backtracking+monad
Greg Buchholz
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
