4 The Computational Model of Logic Programs 4.1 Unification

3.5 Manipulating Symbolic Expressions 3.5.1 Exercises for Section 3.5 3.6 Background

6.4 A Set of Searching Tools Searching Graphs

6.4 A Set of Searching Tools Guessing versus Guranteeing a Good Solution

6.4 A Set of Searching Tools Search Paths

6.4 A Set of Searching Tools Searching Trees Guiding the Search

2.3 Recursive Rules

2.2 Structured Data and Data Abstraction

6.3 A Rule-Based Translator Tool

6.2 A Pattern-Matching Tool

Chapter 6: Building Software Tools 6.1 An Interactive Interpreter Tool

5.5 History and References 5.6 Exercises

5.4 The ELIZA Program: A Rule-Based Trasnlator

5.3 Segment Pattern Matching

2 Database Programming 2.1 Simple Databases

1.10 Summary

5.2 Pattern Matching

1.9 The Meaning of a Logic Program

1.8 A Simple Abstract Interpreter

1.7 Rules

1.6 Conjunctive Queries and Shared Variables

1.5 Universal Facts pomegranates := ザクロ

Chapter 5 ELIZA: Dialog with a Machine 5.1 Describing and Specifying ELIZA

1.4 Existential Queries

4.22 Exercises

4.18 The Perfect Information Problem 4.19 The Interacting Goals Problem 4.20 The End of GPS 4.21 History and References

4.16 The Not Looking after You Don't Leap Problem 4.17 The Lack of Descriptive Power Problem

1 Basic Constructs 1.1 Facts 1.2 Queries 1.3 The Logical Variables, Substitutions, and Instances

4.14 The Block World Domain 4.15 Stage 5 Repeated: Analysis of Version 2

Introduction そう言えば未読だったのを思い出して，なぜか今さらながら読み始めた. SICP読書会の後で id:yuki_neko_nyan に刷り込まれたという噂もチラホラ.