07/05/08 17:06:33
>>158
確かにこのスレではPrologは一度も出てこない。私があげない理由は、
1) 論理は超時間的な筈なのに、Prologとなると実行速度が遅いためか、
導出(反駁)が、動力車が働いているような実時間的な印象になってしまう。
ラファエロの絵にミケランジェロが描き加えているような感じ。
2) 双方向性が完全に確保できていれば、断じて第一席に推すが、実際には
20-30%のコードしかこのように働かない。いささか中途半端。
3) 視覚的な美にいまひとつ。徹底して不均整、左右非対称。
4) 反対に「美は乱調にあり」をよしとすれば、今度は二次元の木構造が
見えすぎて、乱れがなさ過ぎる。もうちょっとハイパーなところがあってもよい。