Smart contracts people: Welcome!

[triska]

Dear all,

with great interest, I see that several people (@pcaversaccio, @malik672 etc.) with background in Ethereum have now starred Scryer Prolog. Welcome!

Personally, I think you have come to the right place: Prolog is an excellent choice for stating what holds under what conditions, and many regulations and agreements can be elegantly expressed and reasoned about in Prolog. Scryer Prolog seems to be an especially suitable Prolog system to work in this area, due to its roots in Rust and strong conformance to the Prolog ISO standard.

I hope you can use this system to implement your vision, and if possible, please keep us posted!

Thank you and all the best,
Markus

[hurufu]

I was always confused why smart contracts use procedural languages, it looked as bizarre choice for me. Contracts should be as declarative as possible and should describe what does it mean when contract holds, actual procedural steps to achieve it are irrelevant noise.

[jjtolton]

I also think Prolog would be great for working out tax burden for crypto currencies. Maybe the only thing that can!