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