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 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]