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.
leonardoalt/SolPrologV2
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
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.