[Haskell-cafe] funct.prog. vs logic prog., practical Haskell
william.wood3 at comcast.net
Sun Aug 2 16:01:27 EDT 2009
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.
More information about the Haskell-Cafe