<div dir="ltr">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>Do we get any advantages from maintaining both both of this purities at the same time?</div><div><br></div><div>P.S.: I have feeling the answer is no, but I am not sure.</div></div>