10.22 탐색 기반 추론과 논리 프로그래밍의 접점