Since each script is a predicate, then the entire Bitcoin blockchain is a database full of predicates, like a library.
We can use logic programming to use the existing facts on the chain to answer various questions.
These are just some of my conjectures, and I don't know if it can really achieve anything of practical significance. : )
Since each script is a predicate, then the entire Bitcoin blockchain is a database full of predicates, like a library.
We can use logic programming to use the existing facts on the chain to answer various questions.
These are just some of my conjectures, and I don't know if it can really achieve anything of practical significance. : )