On Sun, 2009-08-02 at 12:25 +0200, Petr Pudlak wrote:

> (2) is harder for me, since I've never programmed in Prolog or another 
> language
> for logic programming. I'd be happy if anyone who is experienced in both 
> Prolog
> and Haskell could elaborate the differences, pros & cons etc.

I have done some "real-world" programming in Prolog and SML.  The
conventional wisdom in the LP community seems to be that the primary
path to performance improvement of logic programs is by reduction of
non-determinism.  To a first approximation, when you have eliminated all
the non-determinism from a logic program what you have left is a
functional program.  The work I was involved with, trying to get
quasi-real-time performance from Prolog, bore this out.

-- 
Bill Wood

_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to