clojure - core.logic 占主导地位的领域 [软]

Question

社区维基

我不在乎声誉点，我只想要好的答案。请随意将此问题标记为社区 wiki。

上下文

我一直在研究《理性策划者》，并发现了以下观察结果:

• 逻辑编程非常有趣。
• 逻辑编程有时是违反直觉的

• 逻辑编程通常“效率低下”(或者至少是我编写的代码)。

  看起来像是从

• 汇编 -> C++，我“放弃”编写自己的机器代码的控制权
• C++ -> Clojure，我放弃对内存管理的控制
• Clojure -> core.logic/prolog/minikanren，我失去了对如何完成计算的部分控制

问题:

除了 (1) 解决逻辑难题和 (2) 类型推断之外，逻辑编程还主导哪些问题领域？

谢谢!

Answer 1

Constraint logic programming对于解决各种调度、资源分配和其他重要的约束满足/组合优化问题非常有用。您所拥有的只是声明性的:约束(例如，一次只能有一架飞机在跑道上)，也许还有您想要最小化/最大化的东西(吞吐量/等待)。

Prolog 中有各种众所周知的风格，包括 CLP(FD) ，它工作在有限整数域，CLP(R)，它工作在实数域。至少CLP(FD)似乎在core.logic's immediate roadmap中.

我相信这种源自 Prolog 的解决方案正在 air traffic control 中得到积极使用。和其他物流任务，尽管很难获得准确的信息，这些任务和生命关键型公司到底在幕后使用哪些技术。