unit-testingprologxsbplunit

Unit testing in XSB Prolog?


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 ?


Solution

  • 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/