関数型言語が微妙に流行っているのなら、並列論理型言語も微妙に流行ってもいいのに、と思う。並列論理型言語(というか、正確にはKL1/GHCや、FlengのようなCommitted-Choiceと呼ばれる言語属)は、「論理型」と言いながら、Prologのようなbacktrackによる探…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。