エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
文法 - ロジックプログラミングに関して、PrologとminiKanrenの主な技術的な違いは何ですか?
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
文法 - ロジックプログラミングに関して、PrologとminiKanrenの主な技術的な違いは何ですか?
文法 - ロジックプログラミングに関して、PrologとminiKanrenの主な技術的な違いは何ですか? prolog 言... 文法 - ロジックプログラミングに関して、PrologとminiKanrenの主な技術的な違いは何ですか? prolog 言語 (2) 論理プログラミングを読みたいとき、私はいつもそれを行うための2つの「主な」方法につまずきます。 miniKanren は、 The Reasoned Schemerで導入され 、core.logic により現在人気のある core.logic です。 Prolog 、最初の「大きな」論理プログラミング言語。 私が今興味を持っていること:この2つの技術的な主な違いは何ですか? アプローチと実装は非常に似ていますか、それとも論理プログラミングに対してまったく異なるアプローチを取っていますか? 数学のどの部門から来たのか、そして理論的な基礎は何ですか? まず、あなたの素晴らしいpw0n1eアイコンをcompめましょう。 これは、miniKanrenとProlog