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 automatically performing actions to fulfil obligations, and/or by issuing warnings and remedial actions to respond to violations of obligations.
- explore logical consequences of hypothetical scenarios.
- query and update the Ethereum blockchain