为何fksort/3性能优于ksort/3？arg/3参数绑定的影响

这两个谓词的性能差距，本质是**arg/3调用时变量绑定方式不同带来的内存操作开销差异**，具体拆解如下：

• 结构化绑定的即时额外开销
  ksort的scatter谓词里，arg/3的第三个参数直接传入Head-[Key-Val|Tail]这种复合结构。Prolog执行这个调用时，必须先创建这个列表结构（包括./2的列表框架、Key-Val的配对结构），再把这个结构绑定到arg/3指定的参数位置。相当于把「结构创建」和「变量关联」两步合并到了arg/3的单次调用里，每一次调用都多了结构初始化的内存分配和布局开销。

• 延迟结构创建的效率优势
  fksort的fscatter谓词则是先通过arg/3关联未绑定变量Bucket，后续再给Bucket赋值对应的列表结构。这种方式下，arg/3只需要完成最简单的变量位置关联——把Bucket这个未绑定变量挂载到指定的参数槽位，几乎没有额外开销。而后续的结构赋值是直接的内存绑定操作，比在arg/3里同步创建结构要高效得多。

• Prolog变量绑定的底层特性
  Prolog里未绑定变量的本质是一个空的内存指针，对它的arg/3操作只是修改指针指向，成本极低；但如果传入的是已结构化的项，arg/3需要先解析这个结构的内存布局，确认每个子项的位置，再完成绑定，这中间的解析和创建步骤会消耗更多CPU周期。

• 批量处理的累积放大效应
  当排序大量Key-Value对时，单次arg/3调用的微小开销会被快速累积。比如处理十万级别的元素，ksort每一次scatter都多做了结构创建的工作，而fksort只做轻量的变量关联，最终就会形成显著的性能差距。

内容的提问来源于stack exchange，提问作者slago