miser:用于构建自优化谓词的 Prolog 库

用法 这个库是一个 Prolog 宏生成器，用于构建自优化谓词。 假设您要对列表进行排序。 您应该使用归并排序、快速排序、计数排序还是针对小列表优化的手工编码排序？ 最佳选择取决于 CPU 缓存架构、编译器优化、运行时数据特性等。很难先验地知道哪种算法最好。 即使您今天选择正确，随着您的软件随着时间的推移而发展，最佳选择也可能会发生变化。 自优化谓词通过在运行时基于实时性能测量选择最佳可用算法来解决这个问题。 miser库在测量它们的运行时特性的同时随机选择可用的实现。 一旦miser确信它找到了最好的算法，它就会永久地将它交换到位，因此没有持续的开销。 它为每个谓词调用站点分别执行此操作。 这是带有miser的列表排序谓词的草图： :- module ( best_sort , [] ) . :- use_module ( miser ) . :- miserly( best_s