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

Negation in Generator and Free Variables #12

Open

vale1410 opened this issue May 20, 2021 · 2 comments

Owner

vale1410 commented May 20, 2021

%% %% %%% Problem with negation and _ :
%% val[X], ~map[_,X] :: debug[X].

Owner Author

vale1410 commented May 27, 2021

I guess this should be not allowed. Variables occurring in negated facts in guard need to be bound by positive generators.

Collaborator

AbdallahS commented Jun 24, 2021

Agreed. This shouldn't be allowed. One should first project map on the second argument before using this pattern.

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