Hi all,
I’ve been learning CHR and thought that it would be interesting to review and try to resolve some of the issues reported against the CHR package on GitHub.
I’ve reviewed Issue #5 and I believe the initial report is in error. I’ve documented my findings as a comment at: Rule firing although guard should fail · Issue #5 · SWI-Prolog/packages-chr · GitHub
My goal, assuming I’m correct, is to have the ticket closed. I’m hoping that someone more knowledgeable (and with more credibility) can review and confirm or refute the comment.
Thanks!