prolog - Prolog扩展处理时间运算符的实现

Question

我正在寻找处理时间逻辑运算符的 Prolog 扩展的实现。有这方面的信息吗？由于时间逻辑一直是逻辑的重要组成部分，我相信一定有关于原型或实现的讨论。

Answer 1

我建议看看Etalis。如果它被证明是矫枉过正（我很抱歉我从来没有真正深入研究过），并且你正在使用 SWI-Prolog，看看 pack Julian是否更适合。它与CLP(FD)库完美集成，让您可以完全自由地了解运算符的语义。当然，这是一种“低级”的方法......

Answer 2

我将从 Carlo 的建议开始。但是，如果您只寻找基本的时间逻辑运算符，Logtalk 库包含基本时间间隔关系的实现：

https://logtalk.org/docs/interval_0.html

您可以使用 Logtalk 作为大多数 Prolog 实现的扩展。