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.