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 <ttenc...@gmail.com> On Sun, Aug 2, 2009 at 12:25, Petr Pudlak<d...@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 >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
