[stunami]

Don't think you'd get the codebase for it, but I know this is built in SWI prolog https://www.securitease.com/ . Looks like it was presented a decade ago https://dtai.cs.kuleuven.be/CHR/files/Elston_SecuritEase.pdf