Home › フォーラム › AZ-Prologサポート掲示板 › AZ−Prologで否定(true).の述語を教えてください。 › 返信先: AZ−Prologで否定(true).の述語を教えてください。
2016/10/19 5:47 PM
#58455
上間健
ゲスト
ホームフォルダ 〜 に 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
| ?-