Basically the satellite-tracking version of IPv4 exhaustion — five-digit NORAD catalog IDs cap at 99999, and mega-constellations are burning through the remaining space fast.
Interesting that Prolog grew out of an NLP project in Marseille rather than a logic-programming research agenda — SLD resolution got attached to it afterward, not the other way round.