Explainable Legal AI in s(CASP)

<h1>Background</h1> <p>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.</p> <h1>Installing Ciao</h1> <p>The instructions were&nbsp;<a href="http://ciao-lang.org/install.html" rel="noopener ugc nofollow" target="_blank">here</a>. 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.</p> <p><a href="https://medium.com/computational-law-diary/computational-law-diary-explainable-legal-ai-in-s-casp-19da0a5d956"><strong>Click Here</strong></a></p>