>>693しょせんprologは自動推論アプリにすぎない。
prologの述語論理で記述できることは他の言語で全て記述可能。
その意味ではprologは他の言語のサブセットにあたる。
雪は白いなんてのは
雪→白い
not雪 or 白い
と記述可能なわけだ。