我开始使用XSB学习Prolog编程。 您建议为（XSB）Prolog使用哪个语法高亮vim编辑器脚本或插件？

我正在尝试解决这个 Booth 排列问题 （在此处给出）。它基本上是一个滑动拼图，其中一个 (booth) 拼块必须到达目标位置，最后所有其他 (booth) 拼块都应该在其原始位置。每个拼块/展位都有一个尺寸，以下是输入事实和关系描述： 一个形如 room(W,H) 的事实，指定房间的宽...

人们在使用XSB Prolog进行单元测试时，应该如何操作？是否有可用的库？或者是否可以在XSB中以某种方式使用SWI-Prolog的plunit库？ 如果XSB（或其他与plunit不兼容的Prologs）没有可用的测试库，则这个问题的变化可能是：你如何测试你的Prolog代码？你是否有喜...

Hilog术语（即具有任意项作为函数符合的化合物）在XSB Prolog（或任何其他Prolog）中，仍被认为是一种强大的功能吗？目前有许多使用此功能的XSB项目吗？例如哪些项目？ 我问这个问题，因为据我所知，使用ISO内置的call/N同样可以进行高阶编程。 具体来说，我想了解XSB是否...