1 2行プログラムから変数まで
1-1 もっとも簡単なプログラム
1-2 矢印(:-)を含むプログラム
1-3 変数を含むプログラム
1-4 PROLOGで用いる記号の説明
2 PROLOGの4つの側面
2-1 データベースと検索
2-2 書き換え規則
2-3 手続き的解釈
2-4 論理的な解釈
3 プログラミング技法
3-1 組込み述語
3-2 バックトラックとカット
3-3 高階の概念
3-4 DCGと文法規則
3 知識情報処理へ向けて
3-1 ユニフィケーション
3-2 実行順序の戦略
3-3 ホーン節の論理的な特徴
3-4 論理プログラミングと第5世代コンピュータ
4 付録
4-1 A1 プログラムの表記法のバリエーション
4-2 A2 PROLOG用語集
1-1 もっとも簡単なプログラム
1-2 矢印(:-)を含むプログラム
1-3 変数を含むプログラム
1-4 PROLOGで用いる記号の説明
2 PROLOGの4つの側面
2-1 データベースと検索
2-2 書き換え規則
2-3 手続き的解釈
2-4 論理的な解釈
3 プログラミング技法
3-1 組込み述語
3-2 バックトラックとカット
3-3 高階の概念
3-4 DCGと文法規則
3 知識情報処理へ向けて
3-1 ユニフィケーション
3-2 実行順序の戦略
3-3 ホーン節の論理的な特徴
3-4 論理プログラミングと第5世代コンピュータ
4 付録
4-1 A1 プログラムの表記法のバリエーション
4-2 A2 PROLOG用語集