search

vale1410 / bule

The SAT and QBF Programming Language Bule
Other
21 stars 3 forks source link

Negation in Generator and Free Variables #12

Open vale1410 opened 3 years ago

vale1410 commented 3 years ago

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

vale1410 commented 3 years ago

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

AbdallahS commented 3 years ago

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