Emacsキーボードショートカットに慣れていないユーザー向けのSWI-Prologソースエディター(XPCE Emacs)の構成

SWI-Prolog(http://www.swi-prolog.org/)で学習および/または作業を開始する人は、このスタイルではあまりフレンドリーではないコマンドラインインターフェイスに遭遇することがよくあります。

 dm @ dms:〜> swipl
 %ライブラリ(swi_hooks)をpce_swi_hooksにコンパイル0.00秒、3,856バイト
 %/home/dm/.plrcコンパイル0.00秒、656バイト
 SWI-Prologへようこそ(マルチスレッド、64ビット、バージョン5.10.2)
 Copyright(c)1990-2010アムステルダム大学VUアムステルダム
 SWI-Prologには完全に無保証です。 これはフリーソフトウェアです。
特定の条件下で再配布することもできます。
詳細については、http://www.swi-prolog.orgをご覧ください。

ヘルプについては、使用しますか?-ヘルプ(トピック)。 または?-apropos(Word)。

 ?- 


ソースコードエディターを呼び出すことができたとしても、キーボードショートカットはかなりカリスマ性のある異なるEmacsエディターに対応しているため、多くの人はそれを操作するのが難しいと感じています。

修正方法

「help」と入力します。コマンドプロンプトで
 ?-ヘルプ。


次のようなものが表示されます。



ウィンドウで、メニュー項目設定/ユーザー初期化ファイルを実行する必要があります...(確認ダイアログボックスが表示されたら、ファイルの作成を確認してください):



そこで、次の行を見つける必要があります。

% :- set_prolog_flag(editor, pce_emacs). 


そして、その中の「%」記号を削除してから、File / Save bufferメニューを呼び出してファイルを保存します。

次に、ヘルプの最初のウィンドウ(SWI-Prologヘルプ)で、ヘルプ/ XPCE(GUI)マニュアルの項目を実行する必要があります。
次のようなウィンドウが表示されます。



このウィンドウでは、メニュー項目「ファイル/設定の編集/ XPCEユーザーのデフォルト」を実行する必要があります(肯定で答える必要がある場合は、確認ダイアログが表示される場合もあります)。

開いたウィンドウで、次の行を見つけます
 !key_binding.style:cua


そして、先頭にある「!」記号を削除し、メニュー項目「ファイル/バッファーの保存」を実行してファイルを保存します。

次に、すべてのウィンドウを閉じて、SWI-Prologを再度起動する必要があります。

表示されるコマンドプロンプトで、次のように入力します。

 ?-編集(ファイル( 'My file.pl'))。


表示されるファイルで、次を入力します。



次に、Ctrl + Sを押すと、ファイルがディスクに保存されます。

メニューから、コンパイル/バッファのコンパイルを選択します。

コンソールに移動します。そこにmainと入力します。

 ?-メイン。
 2.0
本当


二次方程式の解を見ました。

これで、新しいファイルの作成方法(編集(ファイル(<ファイル>)))、通常の組み合わせでの保存方法(コントロールS)、およびSWI-Prologを使用した方程式の解法もわかりました。

Source: https://habr.com/ru/post/J244055/


All Articles