Home フォーラム AZ-Prologサポート掲示板 AZ−Prologで否定(true).の述語を教えてください。 返信先: AZ−Prologで否定(true).の述語を教えてください。

#59018
Inaba
ゲスト

fy オペレータ述語の \+ です。 (Winでは 半角の ¥+ )

ただし、TopLevelで入力するときは、?- のあとにスペースをあけないと
記号連続の述語として扱われてしまいますのでご注意ください。
| ?-\+ fail.
| ?- listing.
?-\+(fail). <== 述語 ’?-\+’ /2 として登録されてしまう。
yes

| ?- \+ fail.
yes
| ?- \+ true.
no
| ?- \+ \+ true.
yes

上部へスクロール