Does this program have a s(CASP) model?

j4n_bur53 September 12, 2023, 7:09pm 1

Just fiddling around with this program:

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

Does this have a s(CASP) model?

Topic		Replies	Views
Using different foralls with s(CASP) Help! scasp	2	466	October 17, 2022
S(casp) problem General scasp	0	50	October 14, 2024
s(CASP) query operator '?' and 'show' directive General scasp	2	390	August 9, 2022
Duplicate Models in s(CASP)? Help!	2	326	September 27, 2022
Comparing s(CASP) models General	2	392	October 28, 2021