Однажды в SICStus Prolog?

Question

Как я могу использовать once в SICStus? В SWI Prolog работает следующее:

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

но в SICStus Prolog, once кажется непризнанным. Что эквивалентно once в SICStus? Спасибо.

Answer 1

Ответ:

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

Дополнительные скобки сделали свое дело.