Prologの技芸

Author(s)

Bibliographic Information

Prologの技芸

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

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

Other Title

The art of Prolog

Title Transcription

Prolog ノ ギゲイ

Access to Electronic Resource 1 items

Available at  / 139 libraries

Note

参考文献: p[521]-530

Description and Table of Contents

Description

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

Table of Contents

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

by "BOOK database"

Details

Page Top