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