Background
I actually came across s(CASP) by accident while looking for something else. The name, I take it, means stable model constraint answer set programming. Which is the sort of name only a computer scientist could love. It was created by a team at the Joaquin Arias, Zhuo Chen, Manuel Carro, and Gopal Gupta at the IMDEA Software Institute at Universidad Politecnica de Madrid.
Installing Ciao
The instructions were here. I have WSL2 running on my Windows 10 machine, so I followed the instructions for downloading and installing the Ciao language, first. It did not work. I ran portions of the manual installation process, then restarted my terminal, and eventually it seemed to have done something. Maybe just restarting the terminal would have been enough.