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