Einmal in SICStus Prolog?

Question

Wie kann ich once in SICStus verwenden? In SWI Prolog, die folgenden Werke:

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

aber in SICStus Prolog scheint once unerkannt zu sein. Was entspricht once in SICStus? Danke.

Answer 1

Die Antwort lautet:

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

Die zusätzliche Klammer den Trick.