Prologの技芸

著者

書誌事項

Prologの技芸

Leon Sterling, Ehud Shapiro著 ; 松田利夫訳

構造計画研究所 , 共立出版 (発売), 1988.8

タイトル別名

The art of Prolog

タイトル読み

Prolog ノ ギゲイ

大学図書館所蔵 件 / 全140件

この図書・雑誌をさがす

注記

参考文献: p[521]-530

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

ページトップへ