An experiment in England did just this with formal specification and English generated. Construction processes are changing and codes change with them. Must find a way to influence the nature of codes and every provision. The issue is not what is satisfied, but who is responsible. Logic databases collapse with inconsistent database.
Standards are always text documents, presented to users.
We need some formal representation that is not text based, but interpretable by computers. That is a long way off. It's not possible for all the regulations. How do you make formal representation for building to be safe. Today, you must go through a series of steps.