Duplicate Models in s(CASP)?

I thought that in prolog, duplicate statements were meaningless, and that in ASP the returned answer sets were minimal, but I’m noticing that you can increase the number of models returned in s(CASP) by duplicating facts.

Is that expected behaviour?

See https://swish.swi-prolog.org/p/duplicate_models.swinb

I think it is. You need tabling to avoid that. Possibly tabling would improve the s(CASP) application a lot. As yet, SWI-Prolog tabling cannot handle constraints. Another worry could be that generating the justification tree might get more tricky.

1 Like

Fascinating. Thanks.