prolog - 进入SICStus Prolog吗？

Question

如何在SICStus中使用once？
在SWI Prolog中，以下工作原理:

test(X, Y, abc) :- once(X == 'true' ; Y == 'true').

但是在SICStus Prolog中， once似乎无法识别。 SICStus中的 once等价于什么？
谢谢。

Answer 1

答案是:

test(X, Y, abc) :- once((X == 'true' ; Y == 'true')).

附加的括号可以解决问题。