데이터로그
선언적 논리 프로그래밍 언어. 사실과 규칙을 정의하여 새로운 사실을 도출하는 방식으로, 데이터베이스 질의 및 프로그램 분석에 주로 사용된다. LLM의 기억을 구조화된 상태로 관리하는 데 활용된다.
