はてなブログトップ

論理型言語

このタグでブログを書く

言葉の解説

ネットで話題

関連ブログ

論理型言語

このタグの解説について

この解説文は、すでに終了したサービス「はてなキーワード」内で有志のユーザーが作成・編集した内容に基づいています。その正確性や網羅性をはてなが保証するものではありません。問題のある記述を発見した場合には、お問い合わせフォームよりご連絡ください。

はしくれエンジニアもどきのメモ•4年前

2020年代でも環境構築できる論理型言語のメモ

2020年代でも環境構築できる論理型言語のメモ 2020年代でも使えそうな論理型言語のメモ．論理型言語自体アカデミック向けだったり最近の人工知能はディープニューラル系が多いので情報が少ない．このあたりhttp://minikanren.org/#papers を見ると，最近では"Program Synthesis"というコードの自動生成（Quin生成）の分野では活躍してるぽい．結論から列挙すると以下が良さげ． SWI-Prolog(+python+pyswip) Java + Clojure + core.logic Python + Hy + miniKanrenライブラリ Racke…

#論理型言語#Scheme#Lisp#Prolog

ネットで話題

もっと見る

49ブックマーク C++で論理型言語コンパイラを書いてみる C++ で、論理型言語(GHC)コンパイラを書く論理型言語コンパイラを作る理由基本ポリシー: いろいろ諦める GHC の基本実装関連 C++ を使う理由論理変数を実装するゴールのコンパイルゴールキューと疑似マルチタスク疑似マルチタスクから本当のマルチタスクへ最適化ガベージコレクション Boehm GC を C++ で使うた...

www.symbiotic.jp

24ブックマーク AZ-Prolog　 – 論理型言語Prolog処理系高速な処理性能制約論理の組み込み述語とパッケージソケット系の拡張組み込み述語によるネットワーク対応MPIライクなマルチプロセス並列処理機能Microsoft Win32/64 APIへの対応外部ライブラリとの接続インタフェースクロスプラットフォーム対応 (Windows、Linux、UNIX)ISO/DEC-10 Prologの仕様に準拠ワークエリアの柔軟...

7ブックマーク C++で論理型言語コンパイラを書いてみる C++ で、論理型言語(GHC)コンパイラを書く論理型言語コンパイラを作る理由基本ポリシー: いろいろ諦める GHC の基本実装関連 C++ を使う理由論理変数を実装するゴールのコンパイルゴールキューと疑似マルチタスク疑似マルチタスクから本当のマルチタスクへ最適化ガベージコレクション Boehm GC を C++ で使うた...

www.symbiotic.jp

関連ブログ