4.4. Logic Programming

Link to corresponding SICP section

Exercises of this section:

• Exercise4-55

• Exercise4-56

• Exercise4-57

• Exercise4-58

• Exercise4-59

• Exercise4-60

• Exercise4-61

• Exercise4-62

• Exercise4-63

• Exercise4-64

• Exercise4-65

• Exercise4-66

• Exercise4-67

• Exercise4-68

• Exercise4-69

• Exercise4-70

• Exercise4-71

• Exercise4-72

• Exercise4-73

• Exercise4-74

• Exercise4-75

• Exercise4-76

• Exercise4-77

• Exercise4-78

• Exercise4-79

Additional section-related links:

• http://inst.eecs.berkeley.edu/classes-eecs.html#cs

• http://eli.thegreenplace.net/2008/02/08/sicp-section-441/