Модульное тестирование в XSB Prolog?

Question

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

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

Answer 1

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

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