I don't think there's much of a problem with actually reasoning about a law's text that a computer can help solve. The complicated bit is weighing equities, which still requires humans and lawyers.
Are there any lawmakers, lawyers or judges excited about this, or is it only programmers?
No, I don't have a lot of faith in our legal system. Why do you ask?