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