SWI-Prologフラグをオフにするにはどうすればよいですか？

Question

フラグが適切な用語であるかどうか分かりませんが、swi-prologプログラムがクエリの完了時に真または偽を出力しないように設定し、代わりに単にプログラムで決定された別の文を出力しますか？

Answer 1

この種の動作をカスタマイズする機能はありますが、かなり複雑になる可能性があります。私はそれ自身で遊んだことはありませんが、マニュアルとPrologの起動ファイルを見れば助けになるかもしれません。

Prologには「トップレベル」があります。これは、Prologコマンドラインを制御し、入力された目標を実行するPrologコードの1ビットです。あなたが起動時にロードされたファイルでmy_quiet_prolog/0、例えばを定義する場合

pl -t my_quiet_prolog 

：SWI-Prologのを使用すると、代わりのトップレベルを指定することができます~/.plrcファイルにあります。

デフォルトのトップレベルはprolog/0です。このソースとデフォルトのProlog環境の他の部分は、/usr/lib/pl-5.6.36/boot（私のCygwinシステム上で、おそらくあなたとは異なる）にあります。デフォルトのトップレベルはtoplevel.plをご覧ください。メッセージ「Yes」と「No」もmessages.plに定義されています。

メッセージを無効にするか、トップレベルをコピーしてスイートに変更することができます。