% Prolog 'Prologの単位節をデータベースとして5000万節を管理する場合、一番問題はassert。書き込み速度がどんどん遅くなる。多分ハッシュテーブルの作り直しをしているのだろう。最悪、100節/秒レベルに落ちることがあり、この速度で通して進んだら5時間以上も掛かってしまう。'.

% Prolog 再度定義する ?- [user]. 四季(春,睦月). 四季(春,如月). 四季(春,弥生). 四季(夏,卯月). 四季(夏,皐月). 四季(夏,水無月). 四季(秋,文月). 四季(秋,葉月). 四季(秋,長月). 四季(冬,神無月). 四季(冬,霜月). 四季(冬,師走).

% Prolog 季節と和風月名の関係は ?- bagof(_和風月名,四季(_季節,_和風月名),L). _季節 = 春, L = [睦月,如月,弥生]; _季節 = 夏, L = [卯月,皐月,水無月]; _季節 = 秋, L = [文月,葉月,長月]; _季節 = 冬, L = [神無月,霜月,師走]. ?-

% Prolog % _季節を春と具体化して、bagof/3で検索すると ?- _季節=春,bagof(_和風月名,四季(_季節,_和風月名),L). _季節 = 春, L = [睦月,如月,弥生]. % ごく自然なデータベース検索である。

% Prolog 'bagof/3の研究の続きです。ソースコードを読めばいいじゃないかと言わないで。'. foo(3). foo(1). ?- bagof(N,(foo(M),succ(M,N)),L). M = 1, L = [2]; M = 3, L = [4]. ?- 'やはり、自由変数を[3,1]のように、全て取り出してから ソートして[1,3]の順番に解を作りだすようです。'.

% Prologの手続き処理。　#Prologわかんねぇよぉ 手続き的処理　:- 手続き_1,手続き_2,手続き_3. % 上記のように、必要な手続きを定義本体に連記する。 手続き_1 :- ・・・. 手続き_2 :- ・・・. 手続き_3 :- ・・・. % それぞれの手続きを定義して終了。・・・と引数は省略しました。

% Prolog の分岐処理 分岐処理 :- 分岐処理_1か2分岐処理_2. 分岐処理_1か2分岐処理_2 :- 分岐条件_1,条件_1が真の時の手続き_1. 分岐処理_1か2分岐処理_2 :- 分岐条件_2,条件_2が真の時の手続き_2. 条件_1が真の時の手続き_1 :- 条件_1,手続き_1. 条件_2が真の時の手続き_2 :- 条件_2,手続き_2.

% Prolog '先週から、Prologで手続きを書くのは何の問題もないし、実際易しいという話を書いてきた。あとは、繰り返し。これは再帰で書く。この時、末尾再帰の最適化が重要という話を最初に書いた。「手続きを書くのは云々」はこの末尾再帰の最適化が必要条件になっている。'.

% Prolog '私がPrologで手続きを書く話に拘るのは、X上に現れる Prologの評価は難しい、とか、訳が分からないというものばかり。自分にとって訳の分かっていない理屈でPrologを見つめれば、分らないのは当たり前。自分が 得意とするアプローチでPrologに迫ればよいのではと、 思うからなのだが。'.

% Prolog 訂正します。 分岐処理 :- 分岐処理_1か分岐処理_2. 分岐処理_1か分岐処理_2 :- 分岐処理_1. 分岐処理_1か分岐処理_2 :- 分岐処理_2. 分岐処理_1 :- 条件_1が真,手続き_1. 分岐処理_2 :- 条件_2が真,手続き_2. % 引用に現れる条件判断の重複を取り除きました。

% Prolog 'Prologデータベースの実現に期待を持たれたのは、 単一レベル記憶(IBMのSYSTEM/38やAD/400で用いられた)上に、Prologを展開するものだ。IBMがこれを採用しなかったからには、商用として供した場合、何か重大な欠陥が生じることが予測されたからだろう。それが何なのかが、疑問だ。'.

% Prolog '60年くらい前の地理院の5万分の1の地図では、乙見山峠ではなく、乙見峠となっていた。だから、私も兄弟たちも乙見峠と呼んでいた。その頃は熊笹が深く、迷って遭難の危険があるから行くなと言われていた。'.

% Prolog '映画を観ていて、長いな、腰が痛いな、と感じたのは 今村昌平監督の「赤い殺意」。凌辱され続けた人妻と犯人が延々と県道の逃避行。面白い映画だったが、最後は少々辛かった。'.

% Prolog '12年前、レース後インタビューの応答の美しさに感動して、ずっと気に掛かる存在だった競泳平泳ぎの鈴木聡美選手が200メートルで四位入賞していた。得意の100メートルを準決勝で敗退して、さすがにここまでなのかなと思っていたら、もう少しでメダルという活躍。おめでとうございました。'.