Repository navigation
&hexInspection does not evaluate to true for strong negated atoms #1
Description
The program a v -a has two answer sets {a} and {-a}. Now consider the following program (inspect.hex), which inspects the answer sets of the subprogram a v -a:
subprog("a v -a.").
answer_set(AnswerSet) :-
subprog(P),
&hexInspection[string, P, inp, program](AnswerSet, C).
atom(AnswerSet, Atom) :-
subprog(P),
answer_set(AnswerSet),
&hexInspection[string, P, inp, answerset, AnswerSet](Atom, C).
term(AnswerSet, Atom, Index, Term) :-
subprog(P),
atom(AnswerSet, Atom),
&hexInspection[string, P, inp, atom, Atom](Index, Term).
The answer set of this program does not contain a term atom corresponding to the -a atom in one of the two answer sets of the subprogram:
$ dlvhex2 inspect.hex -f term
{term(0,3,0,a)}
I would expect term(1,_,0,-a) to be in the answer set as well.
Activity
tonico commentedon Nov 17, 2016
I'm not sure about the semantics of the
Atomquery type. Maybe we could add a different query type for strong negated atoms?