추상 필터를 이용한 논리 프로그램의 상향식 수행 개선 : 실험적 고찰

논리 프로그램의 상향식 수행은 논리적 완전성(completeness) 및 비논리적 특성 등의 장점이 있으나 주어진 질의(query)를 답하는데 불필요한 유도를 함으로써 비효율적일 수 있다. 이러한 문제점을 해결하기 위하여 제안된 필터링 방법은 상향식 수행에 기초하여 필터를 이용하여 불필요한 유도 과정을 제한한다. 추상 필터는 이러한 문제를 해결하기 위해 제안된 새로운 필터로써 컴파일 시간에 두 페이즈 추상해석에 의해서 계산된다. 본 논문에서는 추상 필터를 구현하고 실험을 통해서 추상 필터가 기존의 정적 필터보다 강력함을 보였다.