1984_ロジック・プログラミング国際シンポジウムに参加して