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

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

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