[Haskell-cafe] funct.prog. vs logic prog., practical Haskell

Bill Wood 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.

Bill Wood

More information about the Haskell-Cafe mailing list