24.11 논리 프로그래밍(Logic Programming)과 후진 추론의 관계