Comment by triska

A healthy dose of skepticism seems certainly warranted. I would like to share an example that I hope illustrates the potential of using programming languages to formalize legal reasoning, or at least one possible usage scenario. Take for instance Article 14 of the Single Digital Gateway Regulation (SDGR), available in its entirety from:

https://eur-lex.europa.eu/legal-content/EN/TXT/?uri=uriserv:...

Article 14 mandates that a technical system be built and states, among other requirements:

"Where competent authorities lawfully issue, in their own Member State and in an electronic format that allows automated exchange, evidence that is relevant for the online procedures referred to in paragraph 1, they shall also make such evidence available to requesting competent authorities from other Member States in an electronic format that allows automated exchange."

The core of this task is therefore to translate evidences between different European Member States. It would be nice to formalize this in the form of logical rules that clearly state which documents can be used to establish the necessary evidences. For instance, the contents of an Austrian birth certificate could be used to prove a required age to a different Member State. The logical rules could take changes in legislation and data formats into account without requiring a redeployment of the entire system, if there is a way to read and interpret the rules dynamically.