[Haskell-cafe] Pure functional and pure logical language at the same time

[Timotej Tomandl]

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?
Do we get any advantages from maintaining both both of this purities at the
same time?

P.S.: I have feeling the answer is no, but I am not sure.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.haskell.org/pipermail/haskell-cafe/attachments/20150128/e893b94d/attachment.html>