Is it possible to suppress warnings in SWISH?

[dogweather]

Thanks for posting all your work. I’m modeling the Rome Statute’s sections on criminal liability for genocide, crimes against humanity, etc. s(CASP) looks extremely useful for educating the user and increasing confidence in the results.

What you do think about this way to model laws?

This is a general Prolog question. Any opinions about the direction I’m taking this? My rough idea: I want the code to: Answer questions about which laws have been broken based on facts asserted. List the elements of any particular law. To show why a particular crime isn’t present. etc. My first pass looks like this: /* * Crimes within the jurisdiction of the International Criminal Court. * * https://world.public.law/rome_statute/article_5_crimes_within_the_jurisdiction_of_the_court *…