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

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