A gentle correction: The names of the robots are Gog and Magog, a biblical allusion, though it has never been clear to me whether the robots' names are meant to be styled in all caps (i.e., GOG and MAGOG).
https://en.m.wikipedia.org/wiki/Gog_and_Magog
I'll never forget when I was first reading...