PROLOGの失敗

PROLOGの失敗

フレーゲの述語論理を

コンピュータ上で実現するPROLOGという言語で書かれたプログラムを

ハードウェアで直接しかも並列に実行するもの

並列推論マシン

プログラムを翻訳しない

検索や推論の並列処理

だが失敗