Logical Contract

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