Thread by @Datavetaren

1/ My vision with #prologcoin is as follows:
Imagine a standard Prolog environment with a command line prompt.
And then you share a state with your peers. This state is an implicit endless growing query.

2/ From this query it follows that if it is true, so is any subsequence of it. The goal is then to support full validation on certain subsequences (e.g. your wallet can be fully validated.)

3/ If we use Mimblewimble as the base (economic) transactions, we can also prune this query further (following the special axioms that Mimblewimble transaction cut-through gives us.)

4/ The hope is to provide smart contracts on top of this (as Prolog programs, using traditional source code (= term) representation.) Interim states through connected logic variables.

5/ In essence, a scalable blockchain system with smart contracts as real Prolog programs. The goal is not compete with #bitcoin, but to compete with #ethereum. BTW, #prologcoin is just a working title. Will not be the real name upon launch.

6/ You can watch my progress here: github.com/datavetaren/pr…. Currently I'm almost done with a complete Prolog execution engine (with two interpreters) written from scratch in C++.

7/ BTW, if you've never seen Prolog before in practice, I highly recommend it. It's one of the coolest languages ever made. (Yeah, Haskell, LISP, etc. are cool languages too, but Prolog is so different and logic variables are so powerful.)

8/ I haven't found a good tutorial for Prolog (I searched around for a while.) Perhaps I should write my own? Or anyone here who has a recommendation?