Updated 569 days ago

CWProlog

Extensible Logic Programming in CosmWasm

  • Crypto / Web3
  • Infra / API

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.