Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 

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 ?

like image 398
Sergio Avatar asked Jun 14 '11 23:06

Sergio


1 Answers

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/

like image 160
Sergio Avatar answered Oct 01 '22 17:10

Sergio