On 2008-01-06, Jonathan Cast <[EMAIL PROTECTED]> 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 -><- _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
