t_wの輪郭

RSS

論理プログラミングプログラミング言語

論理プログラミング言語

2024/3/17 14:24:00

論理プログラミング言語の出力をプログラムとして成文させる後置関数適用演算子で考える論理プログラミング言語 Prolog 並行論理プログラミング言語論理プログラミング言語+wasm+WebRTC GPGPUで動く論理プログラミング言語ドメイン層を論理プログラミングで定義 PRISM

プログラミング言語論理プログラミング論理プログラム述語論理論理プログラミング言語

Prolog

2023/3/29 13:47:00

RaftとProlog Scryer Prolog 『Prologによる解法知識を用いた誤答解説文付き多肢選択問題の生成』『法律家のためのコンピュータ利用法: 論理プログラミング入門』あれあれあれあれあれ Prologにはカプセル化がない prologをクエリをJavaScriptの関数化あれあれ微分可能なProlog 論理憲法 Prologの自動生成あれ SWI-Prolog / npm-swipl-wasm あれあれ『WebAssemblyでProlog』Tau Prolog あれ Prolog言語形式言語ってPrologっぽいあれ

論理プログラミングドメイン層論理プログラミング言語

ドメイン層を論理プログラミングで定義

2024/6/10 14:29:00

GPGPU 論理プログラミング言語

GPGPUで動く論理プログラミング言語

2024/5/14 11:40:00

後置関数適用演算子論理プログラミング言語

後置関数適用演算子で考える論理プログラミング言語

2024/7/2 10:01:00

論理プログラミング言語

並行論理プログラミング言語

2024/3/17 13:44:00

論理プログラミング言語

PRISM

2024/3/17 17:47:00

https://github.com/prismplp/prism

論理プログラミング言語

論理プログラミング言語+wasm+WebRTC

2024/5/14 9:00:00

論理プログラミング言語

論理プログラミング言語の出力をプログラムとして成文させる

2024/7/2 9:53:00