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	417	October 17, 2022
Comparing s(CASP) models General	2	362	October 28, 2021
How to return models from s(CASP)? Help! scasp	2	446	June 6, 2022
s(SCAP) minimum issue Help! scasp	2	240	September 19, 2023
Date handling inside s(CASP)? Help!	4	269	November 3, 2021