いや、俺は当時から繋がりのある話だと思ってるけど。

>>192
ついでに、これも張っておこう。
これはどう思う？

　-------------------------------------------------------------------------------
　知識表現システムUranus と多重世界機構　
　http://www.techno-qanda.net/dsweb/Get/Document-7403/443b.pdf

　(前略)
　述語論理の限界
　Prolog は論理型プログラミング言語の代表的なものであるが，知識表現言語としてはい
　くつかの欠点がある。主なものとしては
　　・状態の変化が素直に表せない。
　　・概念の階層構造が素直に表せない。
　　・不確実な知識や，例外が扱えない。
　などがある。これらはそのベースとなる一階述語論理の欠点をそのまま引き継いだものである。
　Uranus ではこの欠点を取り除き，自然な知識表現を許すように多重世界機構を導入した。
　(後略)
　-------------------------------------------------------------------------------