标签
本文解释了从命令式编程转向声明式编程所需的概念转变，并通过Prolog来阐述如何从关系而非可变状态的角度进行思考。
本文推荐 Peter Naur 的著作《编程即理论构建》，主张编程的本质在于构建和传达对软件的心理模型，而不仅仅是编写代码。