New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Ediprolog gives incorrect answer even though scryer is correct #13

Open

lambdaofgod opened this issue Apr 26, 2024 · 1 comment

lambdaofgod commented Apr 26, 2024

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.

The text was updated successfully, but these errors were encountered:

Owner

triska commented Apr 26, 2024

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

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment