道具に拘る
Lisp,Prologの開発、改良作業もほぼ終えました。飯高先生のPrologの本で数学の勉強と思いつつ、ついつい道具に拘ってしまいました。エディタです。Lisp用のエディタを改造してN-Prolog専用のエディタにしました。
シンタックスハイライト
飯高先生の本にあったGCD計算の例です。オペレーターのところをしっかりシンタックスハイライティングするようにしました。PrologはLispと違ってスペースを区切りとはしていません。しっかし、オペレーターの字句との照合をおこなって判定しています。
述語、関数のヘルプ
この述語ってどうやって使うんだっけ？ということが良くあります。いちいちマニュアルを読むのはめんどくさいです。Esc + I で述語、関数の説明を表示するようにしました。
ユニコードもOK
あの懐かしいRUN/PROLOGのマニュアルにある例題です。漢字OKです。
キーバインドはEmacs風
おおよそEmacsのサブセットです。
Tmuxとでさらに便利に
tmuxでターミナルを分割してエディタとProlog処理系を同時に起動しておきます。そうするとEmacsのようにエディタと処理系を行ったり来たりできます。
というわけで道具の準備はできました。さあ、数学のお勉強を始めますか。