Cicero by the Accord Project is an attempt at this. Machine-readable markup language for contracting. https://accordproject.org/projects/cicero