int_19h has previously posted a nice overview of some of Solidity's flaws: https://news.ycombinator.com/item?id=14810008 https://news.ycombinator.com/item?id=1

int_19h has previously posted a nice overview of some of Solidity's flaws: https://news.ycombinator.com/item?id=14810008 https://news.ycombinator.com/item?id=14810008 Such issues make the language extremely error-prone. A possible remedy was also suggested: https://news.ycombinator.com/item?id=14809743 https://news.ycombinator.com/item?id=14809743 Prolog sounds like a great tool for encoding rules, and there has already been some research for encoding legal texts in Prolog.