和書 492170 (361)
![]()
Prologプログラミング入門 (KE養成講座)
販売元： オーム社
Amazonのカスタマーレビュー（口コミ）
この本で、はじめてプロログを書きました。
まず、GNU prologをダウンロードして、本に書かれているプログラムを実行しました。
GNU prologのプロンプトは、本に書いてあるEdinburgh DEC-10 Prolog3.54とほぼ同じでした。
本書では、ロジックプログラミングの歴史が書かれています。論理言語、仕様言語、プログラミング言語について体系的に記述しているので、言語体系の整理にも役立ちました。計算のモデルは２つに分類されています。
第一水準：チューリング機械
第二水準：プログラミング言語のモデル化
一階述語論理(first-order predicate logic),ラムダ計算（lambda calculus)
言語族π（パイ）は
１（π1) 問題を記述する枠組みとしての述語論理式：述語論理式
２(πs) プログラムの仕様を記述する言語：仕様記述言語(specification, strategy)
３(π0) 電子子計算機上で実行させるための言語:操作記述言語
プロログ(Prolog)が、操作記述言語に相当するということは、忘れがちなことでした。
ps.
| ?- factorial(16,N).
N = -143294464 ?
となりました。計算上は自然数、表示はマイナスということでしょうか。
![]()
Proxy Server 2.0(試験番号:70‐088) (MCSE教科書)
販売元： 翔泳社
Amazonのカスタマーレビュー（口コミ）
PRTRの実務ノウハウ
販売元： オーム社
Amazonのカスタマーレビュー（口コミ）
![]()
PS/55noteスーパーブック
販売元： ソフトバンククリエイティブ
Amazonのカスタマーレビュー（口コミ）
![]()
PS/55ハードウェア ハードウェア・インターフェース技術解説書 (IBMテクニカル・シリーズ)
販売元： オーム社
Amazonのカスタマーレビュー（口コミ）
![]()
PS/V Visionビギナーズ・ガイド―はじめて使う人のための超入門書
販売元： 翔泳社
Amazonのカスタマーレビュー（口コミ）
![]()
PUBLIC SPACE(公共空間)―ヨーロッパの街並みとひろば
販売元： ケイブン出版
Amazonのカスタマーレビュー（口コミ）
![]()
PVD・CVD皮膜の基礎と応用
販売元： 槇書店
Amazonのカスタマーレビュー（口コミ）
![]()
Q&A EMCと基礎技術
販売元： 工学図書
Amazonのカスタマーレビュー（口コミ）
Q&A ISO9001活用ハンドブック
販売元： 共立出版
Amazonのカスタマーレビュー（口コミ）