Kindle 端末は必要ありません。無料 Kindle アプリのいずれかをダウンロードすると、スマートフォン、タブレットPCで Kindle 本をお読みいただけます。

  • Apple
    Apple
  • Android
    Android
  • Windows Phone
    Windows Phone
  • Click here to download from Amazon appstore
    Android

無料アプリを入手するには、Eメールアドレスを入力してください。

kcpAppSendButton

購入オプション

Kindle Unlimitedのロゴ
100万冊以上を読み放題でお読みいただけます。 詳細はこちら
読み放題で読む
または
Kindle 価格: ¥ 99

これらのプロモーションはこの商品に適用されます:

Kindle または他の端末に配信

Kindle または他の端末に配信

Facebook Twitter LINE
Kindle App Ad
[笹川賢一]のProlog処理系を作ろう

Prolog処理系を作ろう Kindle版


その他()の形式およびエディションを表示する 他のフォーマットおよびエディションを非表示にする
価格
新品 中古品
Kindle版, 2016/10/23
¥ 99

【Kindle Unlimited】
120万冊以上の本・コミック・雑誌・洋書が、好きな時に好きなだけ読み放題。初回30日間無料体験 今すぐチェック

商品の説明

内容紹介

2019年2月にO-Prolog処理系をOSSとしGithubにて公開しています。これにともない書籍は絶版としました。
https://github.com/sasagawa888/opl
しかし、購入希望の方もいらっしゃったため、最低価格にて再度販売することとしました。
書籍はO-Prolog処理系の初期バージョンに基づいており最新のコードとデータ構造などが異なりますこと、ご了承ください。

本書はエジンバラProlog処理系を制作する内容です。Windows、Linuxで動作するC言語コードが付録としてついています。

Prologの入門書ではなく、処理系の内部について、著者が制作しながら試行錯誤したこと、研究したことを取りまとめた内容です。Prolog入門用ではありませんので、ご注意ください。

必ず、立ち読み版をダウンロードし、ご納得の上で、ご購入ください。

目次
はじめに
Prolog超入門
ファイル構成、コンパイル
内部データ構造
構文解析
 字句解析
 構文解析
証明
 定義の仕組み
 簡単な証明
 少しだけ複雑な証明
 変数名の付け替え
 証明の一般化
再びデータ構造
 バリアント変数
 O-Prologではどうしたか
 unbind
ユニフィケーション
質問の仕組み
別解探索
組込述語
連言、選言
カットオペレーター
組込みの非決定性述語
ベンチマーク
その他
 ガベージコレクション
 文字コード
 GPU利用
ソースコード及びライセンス
今後の展望
謝辞
著者

登録情報

  • フォーマット: Kindle版
  • ファイルサイズ: 309 KB
  • 紙の本の長さ: 70 ページ
  • 同時に利用できる端末数: 無制限
  • 出版社: 笹川賢一; 2版 (2016/10/23)
  • 販売: Amazon Services International, Inc.
  • 言語: 日本語
  • ASIN: B01M3TVQ5M
  • Text-to-Speech(テキスト読み上げ機能): 有効
  • X-Ray:
  • Word Wise: 有効にされていません
  • おすすめ度: この商品の最初のレビューを書き込んでください。
  • Amazon 売れ筋ランキング: Kindleストア 有料タイトル - 123,254位 (Kindleストア 有料タイトルの売れ筋ランキングを見る)
  • さらに安い価格について知らせる


まだカスタマーレビューはありません


この商品をレビュー

他のお客様にも意見を伝えましょう

click to open popover