Question

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 ?

Was it helpful?

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/

Licensed under: CC-BY-SA with attribution
Not affiliated with StackOverflow
scroll top