" You couldn’t remember how to balance a binary tree, so you thought you’d define the transformational invariants and have Prolog solve them for you."

Well, yes, that's one good reason to know Prolog.