Prolog has seen significant use at “3AM At My House, Inc.”

You’re right, we have a lot of new compute power that came online, intractable brute-force became the smart way. For now.

Most of my life we cheekily made fun of “mainframe computers the size of a room,” and here we are running GPU warehouses the size of the Vatican.