unit-testing - GNU Prolog での単体テスト

Question

SWI Prolog アプリケーションを GNU Prolog に移行しようとしています。残念ながら、単体テストに問題があります。SWIPL では、単純にplunitモジュールを使用して、次のようなテスト ケースを記述できます。

:- begin_tests(my_tests).
test(my_predicate_test) :- my_predicate(Result), assertion(Result == [foo, bar]).
test(second_test) :- foo(10, X), assertion(X == "hello world").
:- end_tests(my_tests).

しかし、GNU Prolog で単体テストを実装する方法は? クリスプのようないくつかの追加ライブラリでさえ、gprolog では利用できません。