2017-02-28 62 views
1

如何在SICStus中使用once? 在SWI Prolog的,下面的工作:一旦進入SICStus Prolog?

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

但在SICStus序言,once似乎是無法識別的。 SICStus中的once等效於什麼? 謝謝。

+5

請注意,SWI在這裏是錯誤的:在這種情況下,標準需要語法錯誤。 SWI是唯一接受這個格式錯誤的術語的系統。 – false

回答

2

答案是:

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

附加括號的伎倆。