Efficient bottom-up execution of logic programs using compile-time analysis = 컴파일 시간 분석을 이용한 논리 프로그램의 효율적인 상향식 수행