The middle road could be Curry, sorry, this 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