For most lawyers out drafting contracts, we're still in the days of mainframes. We write code by hand which will probably never be run on a real judge, but we hope we haven't made any bugs.
Except that very little of the code (e.g. contracts) that get written ever run and the people who debug the code (litigators) aren't the same people who wrote it in the first place. Also the people who wanted the code written in the first place have never actually read it are convinced it says something different to what it actually does say....
It would be an interesting project to create an artificial court/judge into which you feed a contract and an argument and get a response out.
