Great news for Prolog, which is based on Horn clauses! I expect logic programming languages like Prolog to have significant impact in the future for smart cont

Great news for Prolog, which is based on Horn clauses! I expect logic programming languages like Prolog to have significant impact in the future for smart contracts and rule based programming.