- なあ、再帰関数好きな人いる? パート2 [転載禁止]©2ch.net
646 :デフォルトの名無しさん[sage]:2015/10/20(火) 07:18:10.78 ID:4VGtRbkY - >>644
Prologマシンは、それでOSを書き切っているのではないか。
| - なあ、再帰関数好きな人いる? パート2 [転載禁止]©2ch.net
650 :デフォルトの名無しさん[sage]:2015/10/20(火) 23:19:13.18 ID:4VGtRbkY - >>649
ハードウェアはマイクロプログラム化されたものを機械語が呼び出して制御します。 その機械語自体が単一化、バックトラックなど完全にPrologの文法体系に則っています。 OSの記述は、Prologにオプジェクト指向的なインターフェイスを被せた言語が作られて使われました。
|
|