>>846
実は「分からない」としたまま、より上位の推論を行って「推測」する事を考えています。
なので３値論理に拡張したPROLOGみたいなものは無いのかなと。
PROLOGの「真」「わからない」だと推論を止められなくなるもので。