ЕДИНЦИОННЫЕ Тестирование в XSB Prolog?

Question

Как люди, работающие с XSB Prologo, делают единичные тестирование? Есть ли библиотека? Или возможно как-то использовать SWI-Prolog plunit Библиотека в XSB?

Если нет доступной библиотеки тестирования для XSB (или других пророков без совместимых с plunit), может быть, вариант этого вопроса может быть: Как вы тестируете свой код пролога? Вы используете любимый шаблон для его тестирования?

Answer 1

После небольшого исследования я решил попробовать lgtunit (http://logtalk.org/library/lgtunit_0.html), библиотека logtalk для модульного тестирования.

Я нашел это довольно простой в использовании и то, что я искал. Короткий учебник можно найти здесь:http://blog.logtalk.org/2011/03/writing-unit-tests-in-logtalk/