This is a demonstrator. This service is likely to change functionality and location. This service runs on SWI-Prolog using the [GitHub] SWI-Prolog port of s(CASP). Bugs should be reported at the issue tracker of the the GIT repository. Discussion can use the SWI-Prolog forum
s(CASP) system is a top-down interpreter for ASP programs with
This work was presented at ICLP'18 (Arias et al. 2018), also available here.
And extended description of the justification trees was presented at ICLP'20 (Arias et al. 2020).
s(CASP) by Joaquin Arias, is based on
s(CASP) is an implementation of the stable model semantics of
constraint logic programming. Unlike similar systems, it does not
employ any form of grounding. This allows
s(CASP) to execute programs
that are not finitely groundable, including those which make use of
lists and terms.
The server accepts data requests on http://dev.swi-prolog.org/scasp/solve. It deals with several formats:
?- Query. Using
curlwe can use this script:
curl --data-binary @file.pl -H "Content-Type: text/x-scasp" -X POST
json. Default is