I am seriously interested in more information about this approach. I think that right now, there are two modern systems of law: Roman-derived law and English-derived, or "common" law. Sharia law might count as a close runner-up. I think Halacha is well-developed, but not widely-enforced, so I would not count it as a major modern legal system. With that said, and admitting I don't know much about civil law or the religious laws, my impression is that all the above are similarly complicated, and have been for centuries. I am in doubt that human behavior and its ambiguities could be simplified by being encoded in Python. I think it's a really, really hard problem, at least as long as humans remain as unpredictable as they do.