Test unitari in XSB Prolog?

Question

In che modo le persone che lavorano con XSB Prolog eseguono i test unitari? C'è una biblioteca disponibile? O è possibile utilizzare in qualche modo SWI-PROLOG plunit Biblioteca in XSB?

Se non esiste una libreria di test disponibile per XSB (o altri prologi non sono compatibili plunit), forse potrebbe essere una variazione di questa domanda: come testare il tuo codice prolog? Usi uno schema preferito per testarlo?

Answer 1

Dopo un po 'di ricerche ho deciso di provare lgtunit (http://logtalk.org/library/lgtunit_0.html), una libreria logtalk per i test unitari.

L'ho trovato abbastanza facile da usare e quello che stavo cercando. Un breve tutorial può essere trovato qui:http://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/