23.38 전진 추론 엔진의 이론적 한계와 현대 추론 기법으로의 발전