23.34 OPS5 언어의 구문 구조와 전진 추론 실행 모델