1
如何在SICStus中使用once
? 在SWI Prolog的,下面的工作:一旦進入SICStus Prolog?
test(X, Y, abc) :- once(X == 'true' ; Y == 'true').
但在SICStus序言,once
似乎是無法識別的。 SICStus中的once
等效於什麼? 謝謝。
如何在SICStus中使用once
? 在SWI Prolog的,下面的工作:一旦進入SICStus Prolog?
test(X, Y, abc) :- once(X == 'true' ; Y == 'true').
但在SICStus序言,once
似乎是無法識別的。 SICStus中的once
等效於什麼? 謝謝。
答案是:
test(X, Y, abc) :- once((X == 'true' ; Y == 'true')).
附加括號的伎倆。
請注意,SWI在這裏是錯誤的:在這種情況下,標準需要語法錯誤。 SWI是唯一接受這個格式錯誤的術語的系統。 – false