Haskell vs. Prolog comparison

haskell prolog
danatel picture danatel · Dec 19, 2009 · Viewed 30k times · Source

What kind of problems is better solved in Prolog than in Haskell? What are the main differences between these two languages?

Edit

Is there a Haskell library (kind of a logical solver) that can mimic Prolog functionality?

Answer

gknauth picture gknauth · Dec 19, 2009

Regarding the logic library question: If it doesn't exist, it should be possible to build one a variety of ways. The Reasoned Schemer builds logical reasoning capabilities into Scheme. Chapters 33-34 of PLAI discuss Prolog and implementing Prolog. These authors are building bridges between Scheme and Prolog. The creators of PLT Scheme have built as one of their languages a Lazy Scheme after the lazy evaluation feature of Haskell. Oleg Kiselyov's LogicT paper is brilliant as usual--he pushes the boundary for what is possible in many languages. There is also a logic programming example on the Haskell Wiki.

Related questions

Difference between logic programming and functional programming

I have been reading many articles trying to understand the difference between functional and logic programming, but the only deduction I have been able to make so far is that logic programming defines programs through mathematical expressions. But such a …

Read More
Pattern Matching - Prolog vs. Haskell

This is not a homework question, rather an exam study guide question. What is the difference between pattern matching in Prolog Vs Haskell? I've done some research and reading up on the theories behind them doesn't really give me a …

Read More
What is a monad?

Having briefly looked at Haskell recently, what would be a brief, succinct, practical explanation as to what a monad essentially is? I have found most explanations I've come across to be fairly inaccessible and lacking in practical detail.

Read More