007書誌情報Micro-PROLOG : ロジックプログラミングによる問題解決著者キース・L.クラーク, フランク・G.マッケイブ 著 ; 溝口文雄, 大和田勇人 訳出版社啓学出版出版年1992年ISBN4766511654分類007 情報学.情報科学国立国会図書館サーチで確認する