著者：桑野 龍夫の検索結果

論理による問題の解法―Prolog入門 (情報処理シリーズ)