Prolog를 이용한 State Diagrame의 처리