人工知能の研究者たち⑧_ロジック・プログラミングの闘士R.A.コワルスキー