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.