orpheus/meta-lawstone
Watch
1
0
Fork
You've already forked meta-lawstone
 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
2 commits 1 branch 0 tags 27 KiB
  • Prolog 100%
Find a file
Exact
Repository files (latest commit first)
Filename Latest commit message Latest commit date
Orpheus Lummis d11f86f0ef WIP
2023-10-07 15:21:21 +03:00
meta.pl WIP 2023-10-07 15:21:21 +03:00
README.md WIP 2023-10-07 15:21:21 +03:00

README.md

meta-lawstone

Small Prolog meta interpreter

How to run:

okp4d query logic ask \
--node https://api.testnet.okp4.network:443/rpc \
--program-file meta.pl "solve(can_vote(X))."