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