¿Pruebas unitarias en XSB Prolog?

Question

¿Cómo las personas que trabajan con XSB Prolog hacen pruebas unitarias? ¿Hay una biblioteca disponible? ¿O es posible usar de alguna manera Swi-Prolog's plunit Biblioteca en XSB?

Si no hay una biblioteca de prueba disponible para XSB (u otros prórologes, no hay compatibles con plunit), tal vez una variación de esta pregunta podría ser: ¿Cómo prueba su código Prolog? ¿Usas un patrón favorito para probarlo?

Answer 1

Después de un poco de investigación, decidí intentar lgtunit (http://logtalk.org/library/lgtunit_0.html), una biblioteca LogTalk para pruebas unitarias.

Me pareció bastante fácil de usar y lo que estaba buscando. Se puede encontrar un breve tutorial aquí:http://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/