souffle-datalog

Soufflé Datalog은 관계형 규칙 기반의 로직프로그래밍 언어로, 정적 분석과 데이터베이스적 추론에 최적화되어 있다. 자연어로 표현된 보안 정책을 규칙으로 변환하면 프로그램 실행 내역과 데이터 출처를 논리적으로 추적하고 증명 가능하게 검증할 수 있다. 이 글에서는 정책 컴파일 단계에서 Soufflé Datalog 규칙을 생성해 에이전트 세션의 출처(provenance)를 증명하는 핵심 기술로 사용했다.