use*_*984 5 logic prolog temporal
我正在寻找处理时间逻辑运算符的 Prolog 扩展的实现。有关于此的任何信息吗？由于时间逻辑一直是逻辑的重要组成部分，我相信一定已经就原型或实现进行了讨论。
Cap*_*liC 4
我建议看看Etalis。如果结果证明它太过分了（很抱歉我从来没有真正深入研究过太多），并且您正在使用 SWI-Prolog，请看看 pack Julian是否更适合。它与CLP(FD)库完美集成，让您可以完全自由地了解运算符的语义。当然，这是一种“较低级别”的方法......
归档时间：
11 年，8 月 前
查看次数：
521 次
最近记录：