Answer set programming:

[zak100]

Hi,

I ran the following program on the answer set:

p :- not q.

r :- p.

s:- r, not p.

I executed the program on clingu (https://potassco.org/clingo/run/)

I am getting the Answr set (AS) : {p, r}

Why s is not in the answer set.

 

Some body please guide me.

 

Zulfi.

 

 

 

[Ghideon]

6 hours ago, zak100 said:

r :- p.

s:- r, not p.

question: does the above imply

s:- p, not p

was that intended? Is that why s is not in answer set?

( I haven’t done much in this kind of programming yet. )