AND/OR  Graph

전향 (forward) 추론 시스템 : 유석인 :