Ｐｒｏｌｏｇの技芸

Ｔｈｅ　ａｒｔ　ｏｆ　Ｐｒｏｌｏｇ．

構造計画研究所 共立出版
レオン・スターリング　Ｅ．Ｙ．シャピロ　松田利夫　

• 価格: 6,380円（本体5,800円＋税）
• 発行年月: 1988年08月
• 判型: Ａ５
• ISBN: 9784320097100

内容情報

[BOOKデータベースより]

本書は、論理プログラミングとＰｒｏｌｏｇプログラミングを対比して見せながら論理プログラムの抽象的な動作原理から、極めて実践的なＰｒｏｌｏｇのプログラミング技法に至るまでの概念を、筋を追って分かりやすく解説したものである。本書では単なるプログラミング言語としてのＰｒｏｌｏｇの解説ばかりではなく、その源泉である論理プログラミングから受け継がれた理論的、技術的背景を伝えることにも重点が置かれている。

第１部　論理プログラム（基本構成要素；データベース・プログラミング；再帰プログラミング；論理プログラムの計算モデル；論理プログラムの理論）
第２部　Ｐｒｏｌｏｇ言語（純Ｐｒｏｌｏｇ；純Ｐｒｏｌｏｇプログラミング；算術；構造探査；メタ論理述語；カットと否定；論理外述語；実践論）
第３部　Ｐｒｏｌｏｇプログラミング上級技法（非決定性プログラミング；不完備データ構造；限定節文法による構文解析；２階プログラミング；探索技法；メタ・インタプリンタ）
第４部　応用（ゲーム遊戯プログラム；信用評価エキスパート・システム；方程式を解くプログラム；コンパイラ）