블럭 구조가 지원되는 B-Prolog의 설계와 번역기 구현에 관한 연구