unit-testing - プロローグ PL 単体テストで選択ポイントを無視するには?

Question

プロローグ PL ユニットのテストで、選択ポイントに関する警告メッセージをどのように無視できますか?

ありがとう。

Answer 1

SWI-Prolog Unit Testにはオプションがありますnondet

このキーワードがオプション リストにある場合、本体の非決定論的な成功はエラーとは見なされません。