unit testing - test - Pruebas unitarias en XSB Prolog?

unit test.net core

Question

¿Cómo las personas que trabajan con XSB Prolog realizan pruebas unitarias? ¿Hay una biblioteca disponible? ¿O es posible de alguna manera usar la biblioteca de plunit SWI-Prolog en XSB?

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

Answer 1

Después de investigar un poco, decidí probar con lgtunit (http://logtalk.org/library/lgtunit_0.html), una biblioteca de Logtalk para pruebas unitarias.

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