Call and exit can be related direct

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:

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:

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: