本文介绍了如何使用Lisp实现SICP中的约束系统，通过举例说明如何处理给定约束条件下计算未知变量的问题。文章详细阐述了实现思路，包括连接器的概念和作用，以及set-value和forget-value操作。展示了实际的执行结果，并讨论了当前约束系统存在的限制及其可能的演进方向。
问题引入
C++&C的代码的执行都是由coder预先安排好的，程序的执行方向都是确定的。比如a=2*3,由2,3计算出ａ的值。
这篇文章讨论的是这样一种场景：给定一个约束条件，比如A*C=B*D,用户给定任意给定三个值，我们可以根据等式计算出第4个值。
如果用Ｃ&Ｃ++实现，我们可能的做法是写四个函数(C(4,3))，然后根据用户的输入去调用相应的函数计算，如果计算的式子更加复杂，并且可能有的值能计算出来，有的值不能计算，怎么办？
比如下面的函数5*A=17*(C-4)=K*F=H*A*T, 用户给定Ａ的值，我们可以计算Ｃ，但是无法计算Ｋ，Ｆ，Ｈ，Ｔ，我们如何解决这种问题。
问题实践
最低0.47元/天 解锁文章
980
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
