ＫＥ養成講座 Ｐｒｏｌｏｇプログラミング入門

黒川 利明/田村 直之【共著】

オーム社（1989/07発売）

• サイズ A5判／ページ数 148p／高さ 22X16cm
• 商品コード 9784274128578
• NDC分類 007.64
• Cコード C3000

内容説明

本講座は、エキスパートシステム等の開発にあたるＫＥ（ナレッジエンジニア）が前提として知っておくべきＡＩの基本知識から開発に必要な技法まで、一貫した構成と水準を持って構成されたＫＥ養成のための標準的なテキストブックです。

目次

１章　例題で学ぶＰｒｏｌｏｇプログラミング（簡単な数値計算；簡単なリスト処理；簡単なデータベース処理；簡単な問題解決；簡単な理解システム）
２章　Ｐｒｏｌｏｇの構文と言語要素（データの種類と記法；プログラムの記法；Ｐｒｏｌｏｇの実行メカニズム；組込み述語；ＤＥＣ‐１０　Ｐｒｏｌｏｇとの違い）
３章　Ｐｒｏｌｏｇプログラミング技法
４章　理論学とのかかわり（真偽値の計算；論証の手順；Ｐｒｏｌｏｇの理論的解釈；Ｐｒｏｌｏｇにおける証明と計算；Ｐｒｏｌｏｇの非論理的要素）