Jun 1, 2026 Datalog에서 '데이터' 대신 '사실(Fact)'이라고 부르는 이유 Datalog Logic Programming Knowledge Representation Inference Reasoning Feb 3, 2026 ASP와 Datalog: 논리 프로그래밍의 두 가지 시선 Logic Programming ASP Datalog Knowledge Representation
