Prologの技芸

著者

• Sterling, Leon
• Shapiro, Ehud Y.
• 松田, 利夫 マツダ, トシオ

書誌事項

Prologの技芸

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

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

タイトル別名

The art of Prolog

タイトル読み

Prolog ノ ギゲイ

電子リソースにアクセスする 全1件

• Prologの技芸

  1988

  NDLデジタルコレクション

  限定公開

注記

参考文献: p[521]-530

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

• NII書誌ID(NCID): BN02513351
• ISBN:
  • 4320097106
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: [東京],東京
• ページ数/冊数: xxviii, 557p, 図版1枚
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.64
  • NDC7 : 418.6
• 件名:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)