I typed father(X, jiny). and hit enter. The computer paused for a fraction of a second. Then it responded: X = jim. I stared at the screen. I hadn’t told the computer that Jim was Jiny’s father. I had ...