《The Rational Planner》是一本探讨理性规划原则与应用的书籍，旨在帮助读者制定高效、目标导向的生活和工作计划。
The Reasoned Schemer aims to assist functional programmers in thinking logically and logic programmers in adopting a functional mindset. The books authors argue that logic programming is an extension of functional programming, which they illustrate by incorporating logical constructs into the Scheme language—thus merging the advantages of both paradigms. This integration captures most concepts found in Prolog.
The teaching approach used in The Reasoned Schemer involves a series of questions and answers, maintaining the humorous tone that characterized earlier works like The Little Schemer and The Seasoned Schmer. The book assumes familiarity with either a functional language or at least the first eight chapters of The Little Schemer.
Introducing logic capabilities necessitated new forms. The authors aim to demonstrate how similar writing logic programs is to creating functional programs using these forms, thereby helping readers understand the simplicity and ease of defining functions that behave like relations in logic programming.
5星
