How do people working with XSB Prolog do unit testing? Is there a library available? Or is it possible to somehow use SWI-Prolog's plunit
library in XSB?
If there is not an available testing library for XSB (or other Prologs no compatibles with plunit
), maybe a variation of this question could be: How do you test your Prolog code ? Do you use a favorite pattern for testing it ?
After a bit of research I decided giving a try to lgtunit
(http://logtalk.org/library/lgtunit_0.html), a Logtalk library for unit testing.
I found it quite easy to use and what I was looking for. A short tutorial can be found here: http://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/