The prolog thing sounds brilliant but I can’t quite see how it would work. Any insight?
Only problem is that all (most?) Prologs suck, the realm of natural numbers is not in the search space. In this case there is also good cause to limit this realm by available printing area and accuracy.