Home › フォーラム › AZ-Prologサポート掲示板 › AZ−Prologで否定(true).の述語を教えてください。 › 返信先: AZ−Prologで否定(true).の述語を教えてください。
2016/10/19 5:05 PM
#58452
上間健
ゲスト
自前で定義しないといけないのでしょうか?
NOT
==============
not(X) :- X, !, fail.
not(_).