第四章习题 4.38 - 4.79 的解答。由于 amb 环境没实现，程序没跑起来，跳过了 4.3 小节的部分题目。

E-4.38: 去掉题目的条件后有5种可能性，分别是：

baker = 1, cooper = 2, fletcher = 4, miller = 3, smith = 5
baker = 1, cooper = 2, fletcher = 4, miller = 5, smith = …

阅读全文…