I expect logic programming languages like Prolog to have significant impact in the future for smart contracts and rule based programming.
I expect logic programming languages like Prolog to have significant impact in the future for smart contracts and rule based programming.