명령형 패러다임을 탈피한 Logic Programming의 선언적 설계 구조 분석
Prolog Basics Through Pokémon: A Pragmatic Guide to Logic Programming
Prolog Basics Through Pokémon: A Pragmatic Guide to Logic Programming
CSS Selector 문법을 활용한 트리 데이터 질의 및 Datalog 기반 관계형 제어 설계
불변 스냅샷 기반 분산 Datalog 엔진을 통한 타임트래블 쿼리 구현
LLM 토큰 비용 절감 및 실시간 동기화를 위한 AI-Native 백엔드 추상화 설계