LegalRuleML is an XML representation of semantic encodings of legislation built on top of RuleML, which is used as a transfer protocol for production rule and logic systems. LegalRuleML adds features like references to source material, documentation of encoders’ identities, alternative interpretations, in-force dates, and other features particularly useful for statutes.
While it contains a lot of the same information as many executable languages, the LegalRuleML standard does not include a semantics, and so technically is not executable on its own. It’s function seems to be as a target for import and export functionalities in different tools, or as a storage language in non-executable applications, like dependency analysis.
Note that this is different from Akoma Ntoso, also known as LegalDocML, which is an XML standard for representing legal documents. So if you have a law, and you encode it in Prolog, the law could be represented in Akoma Ntoso, and the Prolog encoding could be represented in LegalRuleML.
Congrats to the LegalRuleML team!