The bleeding edge of the legal industry is now building interfaces at the intersection of code and law through computational contracts.
These computational contracts (sometime called smart contracts), according to Stanford University, are a universal Contract Definition Language that will allow terms and conditions to be represented in machine-understandable way. As a result, computers will be able to process and reason over the contracts automatically with a guaranteed degree of accuracy. The Stanford project sees this as not only a significant reduction of legal transaction costs, but it also opens a variety of new options to create better contracts.
