Ser*_*gio 9 unit-testing prolog xsb plunit
如何使用XSB Prolog进行单元测试?有图书馆吗?或者是否有可能以某种方式plunit
在XSB中使用SWI-Prolog的库?
如果没有可用的XSB测试库(或其他Prologs没有与之兼容plunit
),这个问题的变体可能是:你如何测试你的Prolog代码?您是否使用喜欢的模式进行测试?
经过一番研究后,我决定尝试一下lgtunit
(http://logtalk.org/library/lgtunit_0.html),一个用于单元测试的 Logtalk 库。
我发现它非常容易使用并且是我正在寻找的东西。可以在这里找到一个简短的教程: http ://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/