4 ms·

This will never happen, but... 1. Rewrite all the laws in Prolog/a dedicated expert system. The interesting part is defining all the input variables, hence cre

This will never happen, but... 1. Rewrite all the laws in Prolog/a dedicated expert system. The interesting part is defining all the input variables, hence creating a new way of "legal structuring" data that would be reused in nearly all software and eg terms of services. 2. Because laws are somewhat deeply correlated, I would not try to version control parts of the law. One law change/batch of laws changes (1 per day ?) = one new global revision (you can diff, and with the law there is normally no reverting involved) That would be fun for jurists and lawyers, playing the "what if" game with instant proved results :)

dasht 15y ago
That prolog idea was fashionable around the late 1970s or early to mid 1980s, briefly. It was one of the real-world case studies that helped people figure out, back then, that it could never even begin to work at all well and, in fact, the thinking of AI researchers at the time was correspondingly not specifically good. That's part of why you don't program in Common Lisp all the time.