人工知能の研究者たち③_ロジック・プログラミングのゴッドファーザー_J.A.ロビンソン