kfさんの公開ページ 復刊投票コメント一覧

原著者のコワルスキさんは、Prologの理論を確立した人であり、日本での第5世代コンピュータにも深いかかわりのある人です。本書は、論理に基づいて問題解決を形式的に扱う名著です。是非復刊をお願いします。