prolog - YAP Prolog中的前向链接？

Question

我需要在某些 Prolog 问题中使用前向链接器。
我想避免使用普通的元解释器从头开始实现它(但如果没有其他选项可用，我将不得不这样做)，因为使用元解释器执行此操作会很慢，而且我我确信应该有一些好的实现。
有人知道 YAP 或 SWI Prolog 是否包含原生且高效的前向链接器？如果是这种情况，将不胜感激如何安装/使用它的指针。

如果这两个 Prolog 引擎上没有本地前向链接器可用，有人可以推荐我一个基于 vanilla 元解释器的好的开源实现，我可以将其用作外部 Prolog 库吗？

提前致谢。

Answer 1

YAP 和 SWI 都包含约束处理规则的实现 - http://dtai.cs.kuleuven.be/projects/CHR/ - 这是一个前向链接规则系统。

对于您的特定问题，我无法谈论它的性能，但众所周知 CHR 是有效的(请参阅从 CHR 网站链接的论文)。

CHR 还具有 Java、Haskell 和 C 实现，因此如果您以后需要更好的性能，您可以轻松地将规则移植到其中一种语言。