Ediprolog gives incorrect answer even though scryer is correct

triska / ediprolog

Emacs Does Interactive Prolog

https://www.metalevel.at/ediprolog/

37 stars 8 forks source link

Open lambdaofgod opened 4 months ago

lambdaofgod commented 4 months ago

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 commented 4 months ago

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