I’m having an absolute blast playing with s(CASP) notebooks in SWISH. This is an extremely helpful tool for me to provide a user-friendly introduction to the power of using knowledge representation and reasoning for automating statutory reasoning around laws and regulations.
I know that there are some niggly bits in the way that s(CASP) has been implemented that causes some Singleton warnings. I’m also seeing a lot of warnings about non-contiguous definitions for different predicates. I see that there is a way to turn those warnings off on a per-predicate level, but there’s a lot of predicates. Is there some way to configure SWISH not to show warnings?
I wouldn’t bother, except that my encodings are sufficiently complicated that SWISH is generating more than a hundred warnings, and very politely displaying each one with nice javascript transitions, which means that it ends up taking about 2 minutes before we can see the answer that it takes about 0.1 seconds to calculate!
It would make for a much more convincing demonstration if we didn’t need to wait those 2 minutes for an answer.
A surface-level concern, I know, but effective communication is key.
Thanks in advance.