@kentpitman @runes @lispm @masinter @amoroso
It didn't *have* to be done that way, since there were other ways to do it. But we already had the microcode support for Prolog logic variables in place.
So that was the only time in my career when "microcode" and "straightforward path" were the same. :-)