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

DLV safety #2

Open

credl opened this issue Sep 4, 2012 · 0 comments

Member

credl commented Sep 4, 2012

The following program is rejected by DLV because the rule is not safe:

p(a).
q(Y) :- p(X), X=Y.

In DLV, =/2 is considered as a comparison predicate (such as <, >, etc.) which expects both terms to be safe.

However, it is clear that the program can be grounded without any troubles (e.g. by gringo and the internal grounder).

dlvhex shall adopt the latter point of view, but currently this does not work with DLV backend. A possible fix is a rewriting.

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