The tracing model describes Prolog

The tracing model describes Prolog execution in terms of four events: (1)
call, which occurs at the beginning of an attempt to satisfy a goal, (2) exit, which
occurs when a goal has been satisfied, (3) redo, which occurs when backtrack
causes an attempt to resatisfy a goal, and (4) fail, which occurs when a goal
fails. Call and exit can be related directly to the execution model of a subprogram in an imperative language if processes like distance are thought of as
subprograms. The other two events are unique to logic programming systems.
In the following trace example, a trace of the computation of the value for
Chevy_Distance, the goal requires no redo or fail events:

Kết quả (Việt) 1:

Mô tả mô hình truy tìm Prolog thực hiện trong điều khoản của bốn sự kiện: (1)cuộc gọi, mà xảy ra vào đầu của một nỗ lực để đáp ứng một mục tiêu, (2) xuất cảnh, màxảy ra khi một mục tiêu đã được hài lòng, làm lại (3), mà xảy ra khi quay lạigây ra một nỗ lực để resatisfy một mục tiêu, và thất bại (4), xảy ra khi một mục tiêukhông thành công. Cuộc gọi và lối ra có thể được liên quan trực tiếp đến các mô hình thực hiện của một subprogram trong một ngôn ngữ bắt buộc nếu quy trình như khoảng cách được coi làsubprograms. Hai biến cố là độc đáo logic lập trình hệ thống.Trong ví dụ sau dấu vết, một dấu vết của tính toán giá trị choChevy_Distance, mục tiêu yêu cầu phải làm lại không có hoặc không thành công sự kiện:

Kết quả (Việt) 2:

Các mô hình mô tả tracing Prolog thực hiện theo bốn sự kiện: (1)
cuộc gọi, xảy ra vào lúc bắt đầu của một nỗ lực để đáp ứng mục tiêu, (2) xuất cảnh, trong đó
xảy ra khi một mục tiêu đã được thỏa mãn, (3) làm lại, mà xảy ra khi backtrack
gây ra một nỗ lực để resatisfy một mục tiêu, và (4) không, xảy ra khi một mục tiêu
không. Gọi và xuất cảnh có thể liên quan trực tiếp đến các mô hình thực hiện của một chương trình con trong một ngôn ngữ bắt buộc nếu các quá trình như khoảng cách được coi là
chương trình con. Hai sự kiện khác là duy nhất cho hệ thống lập trình logic.
Trong ví dụ sau đây dấu vết, một dấu vết của việc tính toán giá trị cho
Chevy_Distance, mục tiêu không cần làm lại hay không sự kiện: