第1回ロジック・プログラミング國際会議に参加して