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

Question

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

谢谢。

Answer 1

在 SWI-Prolog单元测试中有选项nondet

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