CWProlog
Updated 307 days ago
1 Followers
Updated 307 days ago
- BUIDLs
- Grants
- Bounties
- Hackathons
- Ideas
- Live
Back Updated 307 days ago Updated 307 days agoVision
Extensible Logic Programming in CosmWasm
Description
We demonstrate how a Prolog interpreter can be embedded inside a CosmWasm smart contract, and how the OKP4 blockchain's native Prolog interpreter can be dynamically extended with new predicates defined as plugins loaded from a CosmWasm smart contract.
Achievements
Team Information
William was Dev Rels @ Terra and started a developer experience R&D software studio where he built various CosmWasm developer tools such as a JavaScript runtime for CosmWasm and CWScript, a native language for CosmWasm.
Joon was a core member of the Tendermint team and was responsible for developing many key innovations of the Cosmos SDK such as IBC. He is interested in functional programming, logic, abstract and virtual machines, and is currently working on a solution for writing CosmWasm contracts with JavaScript.
ouiliame
@U_cdbe37d5ac7882
Owner
Share