프롤로그 추론 방식 한계 추가