Hi Jan Sorry to bother, I was curious about s(CASP), then I tried $ git clone https://github.com/JanWielemaker/sCASP.git $ cd sCASP $ make $ swipl -O -o scasp -c prolog/scasp/main.pl % Disabled autoloading (loaded 41 files) [Thread 1 (main) at Sun Sep 5 14:56:25 2021] /home/carlo/swipl-devel/src/…

[image] CapelliC: I’m using: SWI-Prolog version 8.3.29, compiled today from source, but maybe I have to upgrade gcc ? Reproduces. Side effect of the fix for dealing with inline unification for head terms :frowning: Will look tomorrow.

There was first “answer set programming” [ASP], then there was “stable model answer set programming” which added predicates to the propositions [s(ASP)], and then there was “stable model constraint answer set programming” [s(CASP)]. So the s means “stable model” and the parentheses are in the direc…

Thanks @JasonMorris for your answer. I considered ‘stable model’ as candidate, but since ASP - as described from Wikipedia - is already based on stable models, maybe there is more.

[image] JasonMorris: So the s means “stable model” and the parentheses are in the direction of a pun. I understood the s() is the pun, referring to successor (can’t find the name of the s(0) s(s(0)), numbers). So, s(ASP) to ASP is the same as C++ is to C :slight_smile:

[image] jan: the s() is the pun Very plausible, thanks. I forgot to start my - rusted - sense of humor engine.

[image] jan: I understood the s() is the pun, referring to successor Here’s some support for this hypothesis from a lecture by Gupta in 2018 :slight_smile: [Screen Shot 2021-11-02 at 20.48.46]

Compiling s(CASP)

Help!

jan September 6, 2021, 6:43am 3

Topic		Replies	Views
s(CASP) crashes with --html option Tools scasp	4	241	October 18, 2023
How do I install library(scasp)? Help! how-to	9	1514	December 27, 2023
sCASP: from top level Help!	5	343	July 22, 2021
Initial port for sCASP, a top-down interpreter for ASP programs with constraints Resources	7	1126	July 15, 2021
Current status of s(CASP) Help!	8	92	February 2, 2026

Compiling s(CASP)

Related topics