prolog를 사용한 방식의 한계 추가
프롤로그 추론 방식 한계 추가