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