<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">You need to take a look at curry …<div class=""><br class=""></div><div class=""> <a href="http://www-ps.informatik.uni-kiel.de/currywiki/start" class="">http://www-ps.informatik.uni-kiel.de/currywiki/start</a></div><div class=""><br class=""></div><div class="">Simon</div><div class=""><br class=""></div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 28 Jan 2015, at 17:37, Joe Hillenbrand <<a href="mailto:joehillen@gmail.com" class="">joehillen@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class="">What does "pure logical" mean?<br class=""></div><div class="gmail_extra"><br class=""><div class="gmail_quote">On Wed, Jan 28, 2015 at 9:22 AM, Timotej Tomandl <span dir="ltr" class=""><<a href="mailto:timotej.tomandl@gmail.com" target="_blank" class="">timotej.tomandl@gmail.com</a>></span> wrote:<br class=""><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr" class="">This question was bugging me for quite a long time. Can we have a language which uses the functional logic while being both pure functional and pure logical?<div class="">Do we get any advantages from maintaining both both of this purities at the same time?</div><div class=""><br class=""></div><div class="">P.S.: I have feeling the answer is no, but I am not sure.</div></div>
<br class="">_______________________________________________<br class="">
Haskell-Cafe mailing list<br class="">
<a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">
<a href="http://www.haskell.org/mailman/listinfo/haskell-cafe" target="_blank" class="">http://www.haskell.org/mailman/listinfo/haskell-cafe</a><br class="">
<br class=""></blockquote></div><br class=""></div>
_______________________________________________<br class="">Haskell-Cafe mailing list<br class=""><a href="mailto:Haskell-Cafe@haskell.org" class="">Haskell-Cafe@haskell.org</a><br class="">http://www.haskell.org/mailman/listinfo/haskell-cafe<br class=""></div></blockquote></div><br class=""><div apple-content-edited="true" class="">
Simon Thompson | Professor of Logic and Computation <br class="">School of Computing | University of Kent | Canterbury, CT2 7NF, UK<br class=""><a href="mailto:s.j.thompson@kent.ac.uk" class="">s.j.thompson@kent.ac.uk</a> | M +44 7986 085754 | W <a href="http://www.cs.kent.ac.uk/~sjt" class="">www.cs.kent.ac.uk/~sjt</a><br class=""><br class="">
</div>
<br class=""></div></body></html>