Home › フォーラム › AZ-Prologサポート掲示板 › AZ−Prologで否定(true).の述語を教えてください。 › 返信先: AZ−Prologで否定(true).の述語を教えてください。
2020/12/08 10:35 PM
#59018
Inaba
ゲスト
fy オペレータ述語の \+ です。 (Winでは 半角の ¥+ )
ただし、TopLevelで入力するときは、?- のあとにスペースをあけないと
記号連続の述語として扱われてしまいますのでご注意ください。
| ?-\+ fail.
| ?- listing.
?-\+(fail). <== 述語 ’?-\+’ /2 として登録されてしまう。
yes
| ?- \+ fail.
yes
| ?- \+ true.
no
| ?- \+ \+ true.
yes