PrologでModuleを使っていると、Namespaceの扱いがやや面倒になります。たとえば、「data/2」というファクトを処理する述語「process_data/1」というのを、「process」と云うModuleで定義したとします。 :-module(process,[process_data/1]). process(DataNa…

しょうもないことですが、 hoge(X):- foo(X), bar(X). と言うのを、 hoge(X):- foo(X), bar(X), true. と書くようにしておけば、Emacsで書くとき、「Ctrl+k」で述語を行単位で編集しやすいです。「,」と「.」の書き換えが面倒な人へ。

なれてる人は当然のことだと思うけれど、何となく書いてみます。それは、「Require」の書き方。 普通は（本当に普通なのか知らないけれど）、以下のように書きますよね？ require 'nkf' class Hoge def utf8(str) return NKF.nkf("-w8",str) end end まあ、P…