主要观点：不完全数据结构挑战了我们对可变性的观念，文中以 Prolog 中的字典实现为例，其作为有序二叉搜索树，通过lookup/3规则可添加和获取键值对，虽逻辑编程中的值是不可变的，但因是不完全数据结构，添加键值对无需复制返回新字典，而是部分实例化，类似未完成的二叉树草图，常见的不完全数据结构还有差异列表。还对字典进行了重构，使用单个规则并结合if/then控制结构避免留下选择点，用compare/3代替数字比较以处理任意键类型，通过新规则add/3和get/3封装lookup/3，将键值对存储为Key-Value类型方便序列化和排序，完整字典实现可在 GitHub 上查看，此页面由 Tau Prolog 驱动。
关键信息：

• 2024 年 11 月 6 日的博客文章，提及《The Art of Prolog》第 15 章的字典实现。
• 字典通过lookup/3规则操作，可添加和获取键值对。
• 不完全数据结构的特点及示例差异列表。
• 字典重构后的版本及相关改进。
  重要细节：
• 代码中通过变量在二叉树的左右分支中暂存键值对。
• 提到字典的一些局限性及改进方法，如处理非数字键的比较等。
• 展示了重构后字典在改变键值时的排序变化。