To solidify your understanding of backtracking, consider the following example. Assume that there is a set of facts and rules in a database and that Prolog has been presented with the following compound goal:
Để củng cố sự hiểu biết của bạn về backtracking, hãy xem xét những điều sau đâyVí dụ. Giả định rằng có một tập hợp các sự kiện và các quy tắc trong cơ sở dữ liệu và màProlog đã được trình bày với mục tiêu hợp chất sau:
Để củng cố sự hiểu biết của bạn tùy ý, xem xét sau đây ví dụ. Giả sử có một tập hợp các sự kiện và qui định trong một cơ sở dữ liệu và Prolog đã được trình bày với mục tiêu hợp chất sau đây: