9.11 논리 이론가(Logic Theorist) 프로그램의 설계와 구현