XSB Prolog中的单元测试?

| 使用XSB Prolog的人如何进行单元测试?有图书馆吗?还是可能以某种方式在XSB中使用SWI-Prolog的
plunit
库? 如果没有适用于XSB的测试库(或其他与s0ѭ不兼容的Prolog),则可能是该问题的变体:您如何测试Prolog代码?您是否使用喜欢的模式进行测试?     
已邀请:
        经过一些研究,我决定尝试使用Logtalk库
lgtunit
(http://logtalk.org/library/lgtunit_0.html)。 我发现它很容易使用,而且我一直在寻找。 简短的教程可以在这里找到: http://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/     

要回复问题请先登录注册