Ask HN: Has anyone tried to rewrite a law in Prolog?

Curious if it is possible and if it makes sense to define everything in a law or constitutional act as logical rules using a logic-based programming language such as Prolog.

It'd be really fun to simply type a logical question and directly see whether it is legal or illegal based on all the definitions.