问题标签 [xsb]

使用 XSB Prolog 的人如何进行单元测试？有图书馆吗？或者是否可以plunit在 XSB 中以某种方式使用 SWI-Prolog 的库？

如果没有可用的 XSB 测试库（或其他不兼容plunit的 Prolog），也许这个问题的一个变体可能是：你如何测试你的 Prolog 代码？您是否使用最喜欢的模式进行测试？

我正在尝试 XSB 版本 3.3.5 手册中的一个示例（来自“部分订单答案包含”）：

我得到

有什么想法有什么问题吗？

此外，没有错误

XSB 文档在手册卷 2 第 1.16.5 节中有一段关于堆数据结构库的内容。但是我在源代码或版本历史记录中或通过 Google 都找不到该库的任何迹象。如果这个库实际上仍然存在，有什么想法吗？

我唯一的线索是 logtalk 中的一个库，它显然来自同一个原件。但是我正在使用 Prolog，因此必须将 logtalk 移植回 Prolog。

I'm trying to set up InterProlog in eclipse.

My path variable already has the path to jdk1.7 and I already have xsb installed. I attached interprolog.jar as an external jar, added the xsb to my path variable (C:\Users\MyName\config\x86-pc-windows\bin), and I added the path to my xsb bin to the NativeEngine constructor (See below).

When I run the HelloWorld program:

I get (from the first line):

Any ideas on how to solve? Thanks :)

我正试图进入 HiLog 并从一开始就被卡住了。即使归结为最教科书的例子：

编译器 barfs ：

当然缺少一些非常基本的东西（真的必须导入 apply 吗？如果是这样 - 从哪里开始？）

这是一个应该找出谁与 john 兼容的程序。我是 Prolog 的新手。为了让Prolog知道例如。met(X,Y) = met (Y,X) 已经写了很多代码。现在当我开始查询时

它进入无限循环......

源代码：

我一直在研究这么多，但我仍然不明白问题是什么以及如何解决它。能帮助我对我来说太好了。

我是prolog编程的新手。

我想更改 prolog 程序返回的值，使其返回 true / false 而不是标准的 yes 或 no。

考虑一个非常简单的例子：例如 simple.P

在 prolog 命令行上，如果我键入 isNode(1)，它会返回 yes，例如：

我的问题是：

我如何将其从“是”更改为“真”？

Hilog 项（即具有任意项作为函子的化合物）是否仍然被视为 XSB Prolog（或任何其他 Prolog）中的强大功能？目前有很多 XSB 项目使用这个功能吗？例如，他们中的哪一个？

我问，因为据我了解，使用 ISO 内置 call/N 进行高阶编程同样可能。

具体来说，我想了解 XSB 是否只是出于历史原因使用 Hilog 术语，或者与当前的 ISO 标准相比，Hilog 术语是否具有相当大的优势。

我开始使用 XSB 进行 Prolog 编程。

你会为 (XSB) Prolog 推荐什么用于 vim 编辑器的语法高亮脚本或插件？

我需要从键盘输入（列表）中获取一个没有重复但不使用 XSB prolog 中的 inbuild setof（或任何其他 inbuild 函数）的列表。

我如何编写自己的 setof 函数？

输入和输出应如下所示：

提前致谢。