[Haskell-cafe] Re: Wikipedia on first-class object

On 2008-01-06, Jonathan Cast wrote:

To wit, I do not believe the term `declarative' has any single referent, even in the sense that the term `functional' has any single referent. I find the only similarity between Haskell and Prolog to be that neither is imperative.

Have you tried comparing Prolog to GHC's multiparameter type-classes? -- Aaron Denney -><-