Does this program have a s(CASP) model?

General
1

Just fiddling around with this program:

p :- forall(p, \+ p).

Does this have a s(CASP) model?