エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
2020年代でも環境構築できる論理型言語のメモ - はしくれエンジニアもどきのメモ
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
2020年代でも環境構築できる論理型言語のメモ - はしくれエンジニアもどきのメモ
2020年代でも環境構築できる論理型言語のメモ 2020年代でも使えそうな論理型言語のメモ. 論理型言語自... 2020年代でも環境構築できる論理型言語のメモ 2020年代でも使えそうな論理型言語のメモ. 論理型言語自体アカデミック向けだったり最近の人工知能はディープニューラル系が多いので情報が少ない. このあたりhttp://minikanren.org/#papers を見ると,最近では"Program Synthesis"というコードの自動生成(Quin生成)の分野では活躍してるぽい. 結論から列挙すると以下が良さげ. SWI-Prolog(+python+pyswip) Java + Clojure + core.logic Python + Hy + miniKanrenライブラリ Racket: Schemeから派生 好きな言語+mini/microKanren Prolog prologのコードは次の3要素で構成される. fact(事実) rule(規則;条件(goal)付き事実で,手