逻辑编程里的贪心算法怎么搞？Sergio Greco 和 Carlo Zaniolo 这篇文章还挺有意思的，讲的是怎么在Datalog这种声明式语言里实现贪心算法。

扩展了 Datalog，引入了个叫choice construct的选择机制，加上preference 注释，你就可以像 procedural 一样控制执行顺序，而且语法上还是声明式，蛮优雅的。

嗯，有点像你给系统一堆备选方案，用偏好标签告诉它怎么挑最合适的。比如写最短路径问题，用 Datalog 也能搞定，效率和Dijkstra那种差不多，挺惊喜的。

实现层面也不复杂，文章讲了怎么利用一些特定的存储结构，比如高效的索引方式，让 Datalog 跑起来速度也不输传统写法。微分不动点和非确定性不动点这些概念，如果你之前接触过逻辑语言，理解起来不难。

这种做法适合你想在逻辑框架里写优化问题，但又不想完全抛弃贪心思路的时候。如果你对 Datalog 感兴趣，或者想挑战点不一样的编码方式，这篇文章值得看看。