zlacker

Exactly. My semi serious view is that laws should be written in Prolog.

>>fidotr+(OP)
I think there will come a time when people will look back and find it quaint and impractical that we tried to interpret our massive legal system by hand, rather than leaving that sort of thing to computers.

>>fidotr+(OP)
or how about Lojban? That way it can be machine readable, unambiguously queried, culturally neutral and actually be a language designed for human communication.

(xkcd 191 comic joke notwithstanding)

>>fidotr+(OP)
I, for one, would prefer not to be imprisoned due to a bug.

>>philwe+66
many people already are, though the bugs are lexical in nature

>>fidotr+(OP)
does prolog lack ambiguity?

>>drstra+es
The difference is that you can often get a judge to say "hey, that's a bug!" and then you're released.

>>philwe+tK
unfortunately many judges have "bugs" in them too!