自前で定義しないといけないのでしょうか？

NOT

＝＝＝＝＝＝＝＝＝＝＝＝＝＝
not(X) :- X, !, fail.
not(_).

rc初期化ファイルはどこでしょうか？
そこに書き込めばいいですね！

ホームフォルダ　〜　に　azprolog.ini ファイルを作成。

% cat azprolog.ini

not(X) :- X, !, fail.
not(_).

上がファイルの中身です。

zshシェルなので ~/.zshrc に
alias prolog=’prolog -c ~/azprolog.ini’

を書き込みました。

それでターミナルを開きなおして　テストしました。

AZ-Prolog Version 9.53 (Linux/x64)
Copyright (C) SOFNEC CO., LTD. 1987-2016/09/11
| ?-listing.
not(X) :-
X,
!,
fail.
not(_).
yes
| ?-not(3==3).
no
| ?-not(3==4).
yes
| ?-not(true).
no
| ?-not(false).
yes
| ?-

fy オペレータ述語の　\+ です。 (Winでは 半角の　￥＋　）

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

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

稲葉さま
ありがとうございました。

＞＞稲葉さん：： 記号連続の述語として扱われてしまいますのでご注意ください。

\+ も試していたのですが、

プロンプトにつなげて実行していたので、この述語は定義されていないな〜〜と勘違いしていました。

fy オペレータ述語の　\+ です。 (Winでは 半角の　￥＋　）

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

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

fy オペレータ述語の　\+ です。 (Winでは 半角の　￥＋　）

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

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