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

Current version of the translation

Current implementation checks compliance with HIPAA rules 160.502 and 164.506. Referred to HIPAA Administrative Simplification, Regulation Text: 45 CFR Parts 160, 162, and 164 (Unofficial Version, as amended through February 16, 2006) [PDF 769KB]