t_wの輪郭
論理プログラミング
プログラミング言語
論理プログラミング言語
2024/3/17 5:24:00
後置関数適用演算子で考える論理プログラミング言語
論理プログラミング言語の出力をプログラムとして成文させる
ドメイン層を論理プログラミングで定義
GPGPUで動く論理プログラミング言語
論理プログラミング言語+wasm+WebRTC
後置関数適用演算子
論理プログラミング言語
後置関数適用演算子で考える論理プログラミング言語
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