What efforts exist to use programming languages to model legal code?
- by agnoster
Legalese can be considered an extremely inefficient language, and it certainly has ambiguities. What attempts exist out there to use programming languages (or any symbolic logic approaches, for that matter) to model legal code (such as laws and contracts)?