t_wの輪郭
RSS
プログラミング言語
論理プログラミング
論理プログラミング言語
2024/3/17 14:24:00
Prolog
GPGPUで動く論理プログラミング言語
ドメイン層を論理プログラミングで定義
論理プログラミング言語+wasm+WebRTC
PRISM
並行論理プログラミング言語
後置関数適用演算子で考える論理プログラミング言語
論理プログラミング言語の出力をプログラムとして成文させる
論理プログラミング言語
後置関数適用演算子
後置関数適用演算子で考える論理プログラミング言語
2024/7/2 10:01:00
あれ
論理プログラミング言語
論理プログラミング言語の出力をプログラムとして成文させる
2024/7/2 9:53:00
あれ
論理プログラミング
論理プログラミング言語
ドメイン層
ドメイン層を論理プログラミングで定義
2024/6/10 14:29:00
あれ
GPGPU
論理プログラミング言語
GPGPUで動く論理プログラミング言語
2024/5/14 11:40:00
あれ
論理プログラミング言語
論理プログラミング言語+wasm+WebRTC
2024/5/14 9:00:00
あれ
論理プログラミング言語
PRISM
2024/3/17 17:47:00
https://github.com/prismplp/prism
T-PRISM
論理プログラミング言語
並行論理プログラミング言語
2024/3/17 13:44:00
GHC
KL1
KLIC
述語論理
プログラミング言語
論理プログラム
論理プログラミング
論理プログラミング言語
Prolog
2023/3/29 13:47:00
あれ
形式言語ってPrologっぽい
Prolog言語
あれ
prologをクエリをJavaScriptの関数化
『法律家のためのコンピュータ利用法: 論理プログラミング入門』
SWI-Prolog / npm-swipl-wasm
Tau Prolog
微分可能なProlog
論理憲法
あれ
Prologの自動生成
あれ
あれ
あれ
あれ
Prologにはカプセル化がない
あれ
あれ
あれ
『WebAssemblyでProlog』
あれ
あれ
『Prologによる解法知識を用いた誤答解説文付き多肢選択問題の生成』
Scryer Prolog
RaftとProlog
