HIPAA as Logic Program
The Logic formalization of HIPAA is a translation of the HIPAA law into a logical programming language, Prolog.
The Prolog translation can be executed and reports whether a given action complies with HIPAA.
We translate the HIPAA regulation into Prolog one statement at a time. You can verify our translation by examining the side-by-side comparison.
We envision this project to be a collaborative open-source effort. The code base can be found here