Prolog style inference rules across a network is how Multix crafting works https://multix.substack.com/p/did-functional-programming-get...