使用 XSB Prolog 的人如何进行单元测试？有图书馆吗？或者是否可以plunit在 XSB 中以某种方式使用 SWI-Prolog 的库？
如果没有可用的 XSB 测试库（或其他不兼容plunit的 Prolog），也许这个问题的一个变体可能是：你如何测试你的 Prolog 代码？您是否使用最喜欢的模式进行测试？
问问题
328 次
1 回答
2
经过一番研究，我决定尝试一下lgtunit(http://logtalk.org/library/lgtunit_0.html)，这是一个用于单元测试的 Logtalk 库。
我发现它很容易使用并且我正在寻找什么。可以在这里找到一个简短的教程：http: //blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/
于 2011-06-23T11:20:43.680 回答