The middle road could be Curry <http://en.wikipedia.org/wiki/Curry>, sorry, this Curry <http://www.informatik.uni-kiel.de/~curry/>, a functional-logic language. I know that curry has gained a lot of interest from prolog programmers. There are compilers from Curry to Prolog. It is a haskell 98 implementation (more or less) with all logic programming features. It can be seen also as a logic language with haskell syntax. Therefore, its syntax is more mathematical, rather that the ugly clause-based syntax of Prolog, that is at odds with anything except with pure aristothelian logic. 2009/8/2 Thomas ten Cate <ttencate@gmail.com> On Sun, Aug 2, 2009 at 12:25, Petr Pudlak<deb@pudlak.name> wrote:

...

Hi all,

I'd like to convince people at our university to pay more attention to functional languages, especially Haskell. Their arguments were that

(1) Functional programming is more academic than practical.

Which, even if it were true, is an argument *for* instead of *against* teaching it at a university; that is what the word "academic" means, after all...

Thomas _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe