XSB Prolog中的单元测试?

Ser*_*gio 9 unit-testing prolog xsb plunit

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

如果没有可用的XSB测试库(或其他Prologs没有与之兼容plunit),这个问题的变体可能是:你如何测试你的Prolog代码?您是否使用喜欢的模式进行测试?

Ser*_*gio 2

经过一番研究后,我决定尝试一下lgtunit(http://logtalk.org/library/lgtunit_0.html),一个用于单元测试的 Logtalk 库。

我发现它非常容易使用并且是我正在寻找的东西。可以在这里找到一个简短的教程: http ://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/