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.