Programming Language Converts Laws Into 'Provably Correct' Computer Code

Some legal text is so highly prescribed that it functions like an algorithm. So a team of computer scientist have created a programming language that can capture and execute these laws.