I seem to remember back in the 1990s reading a research paper about a theorem proover that used the phrase "And Bob's your uncle" to indicate success. A query w

I seem to remember back in the 1990s reading a research paper about a theorem proover that used the phrase "And Bob's your uncle" to indicate success. A query was initiated by typing "Is that a fact".