論理プログラミング

論理プログラミングとは

論理プログラミングとは、論理的推論を計算とみなし、それを計算機に実行させる手順を記述する行為のことである。

このページでは、論理プログラミングの考え方に基づいて開発されたプログラミング言語Prolog ("PROgramming in LOGic")について説明する。このページの内容は、読者が古典論理に関する基本的な知識をある程度(完璧でなくてもよい)理解しているということを前提とする。
※このページでは、Prolog処理系として、SWI-Prologを想定している。

第1章 Prologの原理

  1. §1.1 論理プログラミングとは
  2. §1.2 冠頭標準形
  3. §1.3 節形式
  4. §1.4 導出原理
  5. §1.5 ホーン節
  6. §1.6 バックトラック
  7. §1.7 カット

第2章 Prologの実践

  1. §2.1 条件分岐構文
  2. §2.2 否定構文
  3. §2.3 繰り返し
  4. §2.4 リスト

以下、準備中……

inserted by FC2 system