进入 SICStus Prolog 后？
Once in SICStus Prolog?
如何在 SICStus 中使用 once？
在 SWI Prolog 中，以下工作：
test(X, Y, abc) :- once(X == 'true' ; Y == 'true').
但在 SICStus Prolog 中，once 似乎无法识别。 SICStus 中 once 的等价物是什么？
谢谢。
答案是：
test(X, Y, abc) :- once((X == 'true' ; Y == 'true')).
额外的括号起到了作用。
如何在 SICStus 中使用 once？
在 SWI Prolog 中，以下工作：
test(X, Y, abc) :- once(X == 'true' ; Y == 'true').
但在 SICStus Prolog 中，once 似乎无法识别。 SICStus 中 once 的等价物是什么？
谢谢。
答案是：
test(X, Y, abc) :- once((X == 'true' ; Y == 'true')).
额外的括号起到了作用。