This may be something that is a problem with s(CASP), and not possible to do anything about, but it should be noted here either way.
If your code uses certain predicates, like date math, and then you ask a question with the "there is no evidence that" negation as failure block, and s(CASP) attempts to reverse the calculation, it does not terminate. It's not clear if it is crashing ungracefully, or if it is getting caught in an infinite loop.
It may not be a problem that we can solve, but we might be able to come up with a more graceful failure mode.
This may be something that is a problem with s(CASP), and not possible to do anything about, but it should be noted here either way.
If your code uses certain predicates, like date math, and then you ask a question with the "there is no evidence that" negation as failure block, and s(CASP) attempts to reverse the calculation, it does not terminate. It's not clear if it is crashing ungracefully, or if it is getting caught in an infinite loop.
It may not be a problem that we can solve, but we might be able to come up with a more graceful failure mode.