如何忽略prolog PL单元测试中的选择点？

Question

在prolog PL单元测试中，您如何忽略关于选择点的警告消息？

感谢。

Answer 1

在SWI-Prolog Unit Test中有选项nondet

  

如果此关键字出现在选项列表中，则主体的非确定性成功不会被视为错误。