2017-02-28 11 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')). 

追加の括弧がトリックをしました。

関連する問題