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 firstname.lastname@example.org