[Download] Prolog syorikei wo tukurou (Japanese Edition) by sasagawa kenichi ~ Book PDF Kindle ePub Free

March 14, 2021 Post a Comment

2019年2月にO-Prolog処理系をOSSとしGithubにて公開しています。これにともない書籍は絶版としました。https://github.com/sasagawa888/oplしかし、購入希望の方もいらっしゃったため、最低価格にて再度販売することとしました。書籍はO-Prolog処理系の初期バージョンに基づいており最新のコードとデータ構造などが異なりますこと、ご了承ください。本書はエジンバラProlog処理系を制作する内容です。Windows、Linuxで動作するC言語コードが付録としてついています。Prologの入門書ではなく、処理系の内部について、著者が制作しながら試行錯誤したこと、研究したことを取りまとめた内容です。Prolog入門用ではありませんので、ご注意ください。必ず、立ち読み版をダウンロードし、ご納得の上で、ご購入ください。目次はじめにProlog超入門ファイル構成、コンパイル内部データ構造構文解析　字句解析　構文解析証明　定義の仕組み　簡単な証明　少しだけ複雑な証明　変数名の付け替え　証明の一般化再びデータ構造　バリアント変数　O-Prologではどうしたか　unbindユニフィケーション質問の仕組み別解探索組込述語連言、選言カットオペレーター組込みの非決定性述語ベンチマークその他　ガベージコレクション　文字コード　GPU利用ソースコード及びライセンス今後の展望謝辞著者