タグ: #theorem-proving
GPU・LLM・MLOps・Kubernetes、そしてマインドセット · 1 件
モダン論理プログラミング 2026 徹底ガイド - SWI-Prolog · Mercury · Tau Prolog · Souffle Datalog · Clingo ASP · miniKanren · Flora-2 · Coq · Lean 深掘り
2026年5月時点における論理プログラミングのエコシステムを一望する。SWI-Prolog 9.x · Scryer · Trealla · Tau · Mercury · ECLiPSeへと続くPrologファミリー、Souffle · DDlog · CozoDBが牽引するDatalog、事実上の標準となったClingoが率いるASP、miniKanren / core.logicのような関係的埋め込み言語、Flora-2のF-Lo
2026-05-16 · 27 分で読めます #japanese#logic-programming#prolog#datalog#asp