タグ付けされた質問 「minikanren」

休業。この質問には、より焦点を当てる必要があります。現在、回答を受け付けていません。 この質問を改善してみませんか？質問を更新して、この投稿を編集するだけで1つの問題に焦点を当てます。 3年前休業。 この質問を改善する 論理プログラミングについて読みたいと思うとき、私は今日それを行うための2つの「主な」方法につまずきます。 miniKanren、で導入minilanguage 推論スキーマーに起因して、現時点での人気とcore.logic。 Prolog、最初の「大きな」ロジックプログラミング言語。 私が今興味を持っていること：2つの間の主な技術的な違いは何ですか？アプローチと実装は非常に似ていますか、それとも完全に異なるロジックプログラミングのアプローチを取っていますか？それらはどの数学の出身であり、理論的な基礎は何ですか？

123 prolog  logic-programming  minikanren