Logical Contracts Server

The Logical Contracts Server is a scalable web application featuring:

  • Smartcontracts server
  • Formal English
  • Logic Production Systems, a high-level Prolog superset adding a simple timestamped logic, reactive and domain rules, and more
  • Semantic rule editor
  • Explanation of contract actions
  • Accessible via Ethereum calls or web services

Proof of concept video – rock, paper, scissors blockchain “gambling house” in Formal English, with no computer code:

Try it at http://demo.logicalcontracts.com

Preliminary developer documentation here.

The system is available now for use in custom pilot projects. First public release Q2, 2018.

For more information please contact licensing@logicalcontracts.com