Comment by rwmj

To be honest I don't really know in detail. There is an interesting paper about "Computational Law": http://logic.stanford.edu/publications/genesereth/complaw.pd... which says (§3):

Computational Law derives its power from its emphasis on deductive reasoning. As such, it simply cannot be applied in cases requiring analogical or inductive reasoning. Fortunately, it is sometimes the case that there are enough judicial rulings that the net result is, in effect, a set of categorical constraints even where the original wording of the regulations is not definitive. And, in such cases, Computational Law can be applied to the combination of regulatory and judicial law.

I guess this is why the French programmers are concentrating on the tax code which might be more precisely written!