Ediprolog gives incorrect answer even though scryer is correct

[lambdaofgod]

I have a following Prolog file

man(socrates).
man(adam).
woman(alice).

mortal(X):- man(X).
mortal(X):- woman(X).

/*
?- mortal(alice).
*/

Ediprolog responds with

/*
?- mortal(alice).
%@    false.
*/

But when I run the file with scryer it recognized that Alice is also mortal.

I tried to run ediprolog-remove-interactions but it didn't change the answer.

[triska]

Could you please post the content of the buffer *ediprolog-history*? Thank you a lot!