一旦进入SICStus Prolog？

如何在SICStus中使用once？在SWI Prolog的，下面的工作：一旦进入SICStus Prolog？

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

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

请注意，SWI在这里是错误的：在这种情况下，标准需要语法错误。 SWI是唯一接受这个格式错误的术语的系统。 – false

答案是：

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

附加括号的伎俩。

2017-02-28 18:51:46

回答