Funny enough I have been doing a deep dive on production rules and logic programming lately,  facing up to why the technology has not caught on more than it has.<p>One thing I find is that novices are creating rule bases that form infinite loops and that the CS community has been paralyzed by the fear of infinite loops and poor scaling for particular reasoning chains.<p>Working with mainstream languages,  however,  I don&#x27;t find infinite loops (or Turing&#x27;s Halting Problem) to be all that relevant and the big reason is that the mainstream languages that people like to complain about already have structures built in that make infinite loops less likely to happen.