Prologの技芸を探してたら著者名が構造計画研究所になっていたんだけど
構造計画研究所ではProlog使ってるんでしょうか。