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
Prologをwasmに変換する
『GitHub - bitlaw-jp/the-constitution-of-japan』
『Prologで学ぶAI手法 – AZ-Prolog 』
『LLM and Prolog, a Marriage in Heaven? - General - SWI-Prolog』
『Deductive Time Travel – Prolog in the LLM Era – Thanksgiving Special – Soft Coded Logic』
『Prolog’s Role in the LLM Era – Part 1 – Soft Coded Logic』
Ciao
『Prolog-based Infrastructure for RDF: Scalability and Performance』
『LLM (Large Language Model) such as ChatGPT prompts related to Prolog - Wiki - SWI-Prolog』
Prolog MCP