태그: #theorem-proving
GPU·LLM·MLOps·쿠버네티스, 그리고 마음가짐에 관한 글 · 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 같은 임베디드 관계형 언어, F
2026-05-16 · 30 분 읽기 #logic-programming#prolog#datalog#asp#minikanren