I've been waiting for someone to put Prolog on the blockchain for at least the past 2 years. And sure enough, my awaiting superpowers once again did not fail me: OKP4 have indeed put Prolog on CosmWasm.
This makes them a natural candidate to become the first non-Secret Network addition to Hack.bg's Fadroma full-stack dApp framework. And indeed I've done as much in that regard as one may achieve during a regular 3-day sleepless weekend.