A logical representation of a legal document that is close to natural, human language, but executable by computer.
It can be used to:
- monitor compliance of the parties to a contract.
- enforce compliance, by issuing warnings and remedial actions.
- explore logical consequences of hypothetical scenarios.
- query and update the Ethereum blockchain