This approach is called top-down resolution, or backward chaining. In general, backward chaining works well when there is a reasonably small set of candidate answers.
Cách tiếp cận nàyđược gọi là độ phân giải trên xuống, hoặc lạc hậu loạt. Nói chung, lạc hậuloạt tác phẩm tốt khi có là một tập hợp lý nhỏ của câu trả lời ứng cử viên.
Cách tiếp cận này được gọi là từ trên xuống độ phân giải, hoặc chuỗi ngược. Nói chung, ngược chuỗi hoạt động tốt khi có một tập hợp lý nhỏ của ứng viên trả lời.