<div class="gmail_quote">The middle road could be <a href="http://en.wikipedia.org/wiki/Curry">Curry</a>, sorry, this <a href="http://www.informatik.uni-kiel.de/~curry/">Curry</a>, 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. <div>

<br></div><div><br><div class="gmail_quote">2009/8/2 Thomas ten Cate <span dir="ltr">&lt;<a href="mailto:ttencate@gmail.com" target="_blank">ttencate@gmail.com</a>&gt;</span><div><div></div><div class="h5"><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">

<div>On Sun, Aug 2, 2009 at 12:25, Petr Pudlak&lt;<a href="mailto:deb@pudlak.name" target="_blank">deb@pudlak.name</a>&gt; wrote:<br>
&gt;    Hi all,<br>
&gt;<br>
&gt; I&#39;d like to convince people at our university to pay more attention to<br>
&gt; functional languages, especially Haskell. Their arguments were that<br>
&gt;<br>
&gt;    (1) Functional programming is more academic than practical.<br>
<br>
</div>Which, even if it were true, is an argument *for* instead of *against*<br>
teaching it at a university; that is what the word &quot;academic&quot; means,<br>
after all...<br>
<font color="#888888"><br>
Thomas<br>
</font><div><div></div><div>_______________________________________________<br>
Haskell-Cafe mailing list<br>
<a href="mailto:Haskell-Cafe@haskell.org" target="_blank">Haskell-Cafe@haskell.org</a><br>
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br>
</div></div></blockquote></div></div></div><br></div>
</div><br>