The Rational Planner

简介：
The Rational Planner是一款旨在帮助用户通过逻辑分析和优先级排序来优化日常计划的应用程序或工具。它鼓励用户做出基于事实的决策，以实现个人目标与效率的最大化。 《The Reasoned Schemer》是“Schemer”系列丛书的第三部分，由Daniel P. Friedman、William E. Byrd和Oleg Kiselyov合著。这本书沿袭了前两部书籍的形式，采用问答的方式深入浅出地介绍了关系型编程的魅力。Friedman的作品以其在Scheme语言中传授高级概念而闻名，《The Reasoned Schemer》也不例外。 本书的主要目标是向读者展示关系型编程的美学价值。作者认为将函数式编程扩展到关系型编程是一个自然的过程，通过引入新的构造来融合两种范式的优点。此外，书中还体现了逻辑编程中最著名的语言Prolog的核心理念。要理解书中的内容，读者至少需要掌握《The Little Schemer》前八章的知识点，特别是关于把函数作为值的理解以及上下文环境的概念。 尽管本书不需要额外的数学或逻辑知识背景，但附录《Connecting the Wires》部分则要求对Scheme宏有一定的基础了解。书中只使用了两种常量（#s 和 #u）和三个操作符（:、fresh 和 conde）。这些基本的操作符在第一章中被引入，并且是到第六章之前所使用的唯一操作符，其他一些操作符则是这三个基本操作符的变种。 为了保持扩展性，作者模仿了现有的Scheme语法。因此，#s 和 #u 类似于布尔常量：#t 和 #f；fresh表达式类似于lambda表达式；conde表达式在语法上类似cond表达式。书中还采用了一些符号约定来区分不同的类别：词法变量用斜体表示，形式用粗体表示，数据用无衬线字体表示，列表则使用加粗的括号`O包围。关系型函数以`o作为名称后缀（例如car°和null°）。 在本书中，通过结合函数式编程技巧与关系型编程思想，《The Reasoned Schemer》展示了如何利用这些新概念构建更强大的程序。书中还介绍了逻辑编程语言Prolog的核心理念，这种声明式的描述方式能够以查询规则的方式求解问题，并且这一能力在《The Reasoned Schemer》中得到了体现。 通过书中的问答形式，读者可以逐步理解并掌握关系型编程的精髓，在实际编程任务的应用过程中了解其价值。对于那些对函数式和逻辑编程都感兴趣的读者来说，《The Reasoned Schemer》提供了一个深入学习的机会，并展示了如何将这两种范式结合在一起创建更强大的程序。 《The Reasoned Schemer》不仅是一本关于Scheme语言和函数式编程的书籍，还深度探讨了关系型编程的思想。它向希望扩展自己编程技能的专业人士提供了宝贵的资源。