SolPrologV2 A Prolog engine written in Solidity. Demo In src/demo directory you'll find an example contract that shows how to use the engine in a Solidity contract.